First Steps Towards Incremental Diagnosis of Discrete-Event Systems. - Alban Grastien; Marie-Odile Cordier; Christine Largouët (Canadian AI, 2005)

Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations. - Alban Grastien; Marie-Odile Cordier; Christine Largouët (AI*IA, 2005)

MonitoringWeb Service Networks in a Model-based Approach. - Yuhong Yan; Marie-Odile Cordier; Yannick Pencolé; Alban Grastien (ECOWS, 2005)

Incremental Diagnosis of Discrete-Event Systems. - Alban Grastien; Marie-Odile Cordier; Christine Largouët (IJCAI, 2005)

Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables. (Decentralized and on-line diagnosis of reconfigurable discrete-event systems). - Alban Grastien (2005)

Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. - Alban Grastien; Anbulagan; Jussi Rintanen; Elena Kelareva (AAAI, 2007)

Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. - Marie-Odile Cordier; Alban Grastien (IJCAI, 2007)

Diagnosability Testing with Satisfiability Algorithms. - Jussi Rintanen; Alban Grastien (IJCAI, 2007)

Incremental Diagnosis of DES by Satisfiability. - Alban Grastien; Anbulagan (ECAI, 2008)

Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. - Priscilla Kan John; Alban Grastien (ECAI, 2008)

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. - Anbulagan; Alban Grastien (SARA, 2009)

Diagnostic de systèmes à événements discrets à base de cohérence par SAT. - Alban Grastien; Anbulagan (Rev. d'Intelligence Artif., 2010)

Online Graph Pruning for Pathfinding On Grid Maps. - Daniel Damir Harabor; Alban Grastien (AAAI, 2011)

Reformulation for the Diagnosis of Discrete-Event Systems. - Alban Grastien; Gianluca Torta (SARA, 2011)

A Theory of Abstraction for Diagnosis of Discrete-Event Systems. - Alban Grastien; Gianluca Torta (SARA, 2011)

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. - Alban Grastien; Patrik Haslum; Sylvie Thiébaux (KR, 2012)

The JPS Pathfinding System. - Daniel Damir Harabor; Alban Grastien (SOCS, 2012)

An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming - Alban Grastien (CoRR, 2012)

An Optimal Any-Angle Pathfinding Algorithm. - Daniel Damir Harabor; Alban Grastien (ICAPS, 2013)

Predictability of Event Occurrences in Timed Systems. - Franck Cassez; Alban Grastien (FORMATS, 2013)

Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study. - Alban Grastien; Anbulagan (IEEE Trans. Autom. Control., 2013)

Improving Jump Point Search. - Daniel Damir Harabor; Alban Grastien (ICAPS, 2014)

Critical observations in a diagnostic problem. - Cody James Christopher; Marie-Odile Cordier; Alban Grastien (CDC, 2014)

Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. - Alban Grastien (ECAI, 2014)

Verifying the Precision of Diagnostic Algorithms. - Xingyu Su; Alban Grastien (ECAI, 2014)

AC-Feasibility on Tree Networks is NP-Hard. - Karsten Lehmann; Alban Grastien; Pascal Van Hentenryck (CoRR, 2014)

The Complexity of DC-Switching Problems. - Karsten Lehmann; Alban Grastien; Pascal Van Hentenryck (CoRR, 2014)

Formulating event-based critical observations in diagnostic problems. - Cody James Christopher; Alban Grastien (CDC, 2015)

Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. - Alban Grastien (DX, 2015)

Interval Predictability in Discrete Event Systems. - Alban Grastien (CoRR, 2015)

The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. - Karsten Lehmann; Alban Grastien; Pascal Van Hentenryck (CoRR, 2015)

Diagnosability of Discrete-Event Systems with Uncertain Observations. - Xingyu Su; Marina Zanella; Alban Grastien (IJCAI, 2016)

Optimal Any-Angle Pathfinding In Practice. - Daniel Damir Harabor; Alban Grastien; Dindar Öz; Vural Aksakalli (J. Artif. Intell. Res., 2016)

Diagnosability Planning for Controllable Discrete Event Systems. - Hassan Ibrahim; Philippe Dague; Alban Grastien; Lina Ye; Laurent Simon (AAAI, 2017)

Inference of fault signatures of discrete-event systems from event logs. - Cody James Christopher; Yannick Pencolé; Alban Grastien (DX, 2017)

Compromise-free Pathfinding on a Navigation Mesh. - Michael Cui; Daniel Damir Harabor; Alban Grastien (IJCAI, 2017)

Intelligent Belief State Sampling for Conformant Planning. - Alban Grastien; Enrico Scala (IJCAI, 2017)

Sampling Strategies for Conformant Planning. - Alban Grastien; Enrico Scala (ICAPS, 2018)

The Maximum Transmission Switching Flow Problem. - Alban Grastien; Ignaz Rutter; Dorothea Wagner; Franziska Wegner; Matthias Wolf 004 (e-Energy, 2018)

Brigitte, a Bridge-Based Grid Path-Finder. - Alban Grastien (SOCS, 2019)

Computing Superior Counter-Examples for Conformant Planning. - Xiaodi Zhang 002; Alban Grastien; Enrico Scala (AAAI, 2020)

CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement. - Alban Grastien; Enrico Scala (Artif. Intell., 2020)

Computing Plans that Signal Normative Compliance. - Alban Grastien; Claire Benn; Sylvie Thiébaux (AIES, 2021)

Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning. - Enrico Scala; Alban Grastien (ICAPS, 2021)

Reducing moral ambiguity in partially observed human-robot interactions. - Claire Benn; Alban Grastien (Adv. Robotics, 2021)

Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. - Songtuan Lin; Alban Grastien; Pascal Bercher (AAAI, 2023)

Formal Explanations of Neural Network Policies for Planning. - Renee Selvey; Alban Grastien; Sylvie Thiébaux (IJCAI, 2023)

Improvements to CPCES. - Xiaodi Zhang 002; Alban Grastien (SOCS, 2023)

A More General Theory of Diagnosis from First Principles. - Alban Grastien; Patrik Haslum; Sylvie Thiébaux (CoRR, 2023)

A Counter-Example Based Approach to Probabilistic Conformant Planning. - Xiaodi Zhang 002; Alban Grastien; Charles Gretton (ICAPS, 2024)

CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models. - Romain Xu-Darme; Aymeric Varasse; Alban Grastien; Julien Girard-Satabin; Zakaria Chihani (xAI (Late-breaking Work, Demos, Doctoral Consortium), 2024)

Critical observations in model-based diagnosis. - Cody James Christopher; Alban Grastien (Artif. Intell., 2024)

CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. - Romain Xu-Darme; Aymeric Varasse; Alban Grastien; Julien Girard; Zakaria Chihani (CoRR, 2024)

Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans. - Songtuan Lin; Alban Grastien; Rahul Shome; Pascal Bercher (AAAI, 2025)

Inapproximability of Optimal Multi-Agent Pathfinding Problems. - Xing Tan 002; Alban Grastien (AAAI, 2025)

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. - Michele Alberti; François Bobot; Julien Girard-Satabin; Alban Grastien; Aymeric Varasse; Zakaria Chihani (CoRR, 2025)

Complexity Results of Persuasion. - Alban Grastien (CoRR, 2025)