Alban Grastien
10 papers · 2016–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (14) π Keyword Champion (2)
π
Century Club Β· Bronze
Top co-authors
Research topics
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)
multi-agent path finding
(1)
strips planning
(1)
graph algorithm
(1)
decision explanation
(1)
planning policy
(1)
planning algorithm
(1)
optimal planning
(1)
case-based reasoning
(1)
Papers
Formal Abductive Latent Explanations for Prototype-Based Networks
AAAI 2026
Inapproximability of STRIPS Planning
AAAI 2026
Inapproximability of Optimal Multi-Agent Pathfinding Problems
AAAI 2025
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans
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
Compromise-free Pathfinding on a Navigation Mesh
IJCAI 2017
Intelligent Belief State Sampling for Conformant Planning
IJCAI 2017
Diagnosability of Discrete-Event Systems with Uncertain Observations
IJCAI 2016