Alban Grastien
10 papers · 2016–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (14) π Conference Polyglot (2) π Academic Marathon (9) π Cross-Pollinator (3) π§ Keyword Pioneer
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
π
Century Club
(10)
Conferences
AAAI (6)
IJCAI (4)
Top co-authors
Keywords
automated planning
(3)
computational complexity
(2)
conformant planning
(2)
formal explanation
(2)
planning domain
(2)
approximation algorithm
(1)
belief state
(1)
policy learning
(1)
convex polygon
(1)
sequence planning
(1)
classical planning
(1)
search strategy
(1)
strips planning
(1)
multi-agent pathfinding
(1)
graph algorithm
(1)
decision explanation
(1)
planning policy
(1)
planning algorithm
(1)
optimal planning
(1)
case-based reasoning
(1)
Papers
Inapproximability of STRIPS Planning
AAAI 2026
Formal Abductive Latent Explanations for Prototype-Based Networks
AAAI 2026
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans
AAAI 2025
Inapproximability of Optimal Multi-Agent Pathfinding Problems
AAAI 2025
Formal Explanations of Neural Network Policies for Planning
IJCAI 2023
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains
AAAI 2023
Computing Superior Counter-Examples for Conformant Planning
AAAI 2020
Intelligent Belief State Sampling for Conformant Planning
IJCAI 2017
Compromise-free Pathfinding on a Navigation Mesh
IJCAI 2017
Diagnosability of Discrete-Event Systems with Uncertain Observations
IJCAI 2016