| 2026 | AAAI | Formal Abductive Latent Explanations for Prototype-Based Networks. | Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila |
| 2026 | AAAI | Inapproximability of STRIPS Planning. | Xing Tan, Alban Grastien |
| 2025 | AAAI | Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans. | Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher |
| 2025 | AAAI | Inapproximability of Optimal Multi-Agent Pathfinding Problems. | Xing Tan, Alban Grastien |
| 2025 | IFM | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. | Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2024 | ICAPS | A Counter-Example Based Approach to Probabilistic Conformant Planning. | Xiaodi Zhang, Alban Grastien, Charles Gretton |
| 2023 | AAAI | Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. | Songtuan Lin, Alban Grastien, Pascal Bercher |
| 2023 | IJCAI | Formal Explanations of Neural Network Policies for Planning. | Renee Selvey, Alban Grastien, Sylvie Thibaux |
| 2023 | SoCS | Improvements to CPCES. | Xiaodi Zhang, Alban Grastien |
| 2021 | AIES | Computing Plans that Signal Normative Compliance. | Alban Grastien, Claire Benn, Sylvie Thibaux |
| 2020 | AAAI | Computing Superior Counter-Examples for Conformant Planning. | Xiaodi Zhang, Alban Grastien, Enrico Scala |
| 2019 | SoCS | Brigitte, a Bridge-Based Grid Path-Finder. | Alban Grastien |
| 2017 | AAAI | Diagnosability Planning for Controllable Discrete Event Systems. | Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon |
| 2017 | DX | Inference of fault signatures of discrete-event systems from event logs. | Cody James Christopher, Yannick Pencol, Alban Grastien |
| 2017 | IJCAI | Compromise-free Pathfinding on a Navigation Mesh. | Michael Cui, Daniel Damir Harabor, Alban Grastien |
| 2017 | IJCAI | Intelligent Belief State Sampling for Conformant Planning. | Alban Grastien, Enrico Scala |
| 2016 | IJCAI | Diagnosability of Discrete-Event Systems with Uncertain Observations. | Xingyu Su, Marina Zanella, Alban Grastien |
| 2015 | SAFEProcess | Formulating Event-Based Critical Observations in Diagnostic Problems. | Cody James Christopher, Alban Grastien |
| 2015 | SAFEProcess | Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. | Alban Grastien |
| 2014 | ECAI | Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. | Alban Grastien |
| 2014 | ECAI | Verifying the Precision of Diagnostic Algorithms. | Xingyu Su, Alban Grastien |
| 2012 | KR | Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. | Alban Grastien, Patrik Haslum, Sylvie Thibaux |
| 2012 | SoCS | The JPS Pathfinding System. | Daniel Damir Harabor, Alban Grastien |
| 2011 | AAAI | Online Graph Pruning for Pathfinding On Grid Maps. | Daniel Damir Harabor, Alban Grastien |
| 2008 | ECAI | Incremental Diagnosis of DES by Satisfiability. | Alban Grastien, Anbulagan |
| 2008 | ECAI | Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. | Priscilla Kan John, Alban Grastien |
| 2007 | AAAI | Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. | Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva |
| 2007 | IJCAI | Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. | Marie-Odile Cordier, Alban Grastien |
| 2007 | IJCAI | Diagnosability Testing with Satisfiability Algorithms. | Jussi Rintanen, Alban Grastien |
| 2005 | AI | First Steps Towards Incremental Diagnosis of Discrete-Event Systems. | Alban Grastien, Marie-Odile Cordier, Christine Largout |
| 2005 | IJCAI | Incremental Diagnosis of Discrete-Event Systems. | Alban Grastien, Marie-Odile Cordier, Christine Largout |
| 2005 | ICWS | MonitoringWeb Service Networks in a Model-based Approach. | Yuhong Yan, Marie-Odile Cordier, Yannick Pencol, Alban Grastien |