Alban Grastien

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 20

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Cody James Christopher, Alban Grastien
Critical observations in model-based diagnosis. Artif. Intell. 331 (2024)
Xiaodi Zhang, Alban Grastien, Charles Gretton
A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS (2024)
Renee Selvey, Alban Grastien, Sylvie Thiébaux
Formal Explanations of Neural Network Policies for Planning. IJCAI (2023)
Xiaodi Zhang, Alban Grastien
Improvements to CPCES. SOCS (2023)
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
A More General Theory of Diagnosis from First Principles. CoRR (2023)
Songtuan Lin, Alban Grastien, Pascal Bercher
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI (2023)
Enrico Scala, Alban Grastien
Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning. ICAPS (2021)
Alban Grastien, Claire Benn, Sylvie Thiébaux
Computing Plans that Signal Normative Compliance. AIES (2021)
Claire Benn, Alban Grastien
Reducing moral ambiguity in partially observed human-robot interactions. Adv. Robotics 35 (9) (2021)
Alban Grastien, Enrico Scala
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement. Artif. Intell. 284 (2020)
Xiaodi Zhang, Alban Grastien, Enrico Scala
Computing Superior Counter-Examples for Conformant Planning. AAAI (2020)
Alban Grastien
Brigitte, a Bridge-Based Grid Path-Finder. SOCS (2019)
Alban Grastien, Enrico Scala
Sampling Strategies for Conformant Planning. ICAPS (2018)
Alban Grastien, Ignaz Rutter, Dorothea Wagner, Franziska Wegner, Matthias Wolf
The Maximum Transmission Switching Flow Problem. e-Energy (2018)
Michael Cui, Daniel Damir Harabor, Alban Grastien
Compromise-free Pathfinding on a Navigation Mesh. IJCAI (2017)
Cody James Christopher, Yannick Pencolé, Alban Grastien
Inference of fault signatures of discrete-event systems from event logs. DX (2017)
Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
Diagnosability Planning for Controllable Discrete Event Systems. AAAI (2017)
Alban Grastien, Enrico Scala
Intelligent Belief State Sampling for Conformant Planning. IJCAI (2017)
Xingyu Su, Marina Zanella, Alban Grastien
Diagnosability of Discrete-Event Systems with Uncertain Observations. IJCAI (2016)
Daniel Damir Harabor, Alban Grastien, Dindar Öz, Vural Aksakalli
Optimal Any-Angle Pathfinding In Practice. J. Artif. Intell. Res. 56 (2016)
Alban Grastien
Interval Predictability in Discrete Event Systems. CoRR (2015)
Cody James Christopher, Alban Grastien
Formulating event-based critical observations in diagnostic problems. CDC (2015)
Cody James Christopher, Alban Grastien
Formulating Event-Based Critical Observations in Diagnostic Problems. DX (2015)
Alban Grastien
Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. DX (2015)
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. CoRR (2015)
Xingyu Su, Alban Grastien
Verifying the Precision of Diagnostic Algorithms. ECAI (2014)
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
AC-Feasibility on Tree Networks is NP-Hard. CoRR (2014)
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
The Complexity of DC-Switching Problems. CoRR (2014)
Alban Grastien
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. ECAI (2014)
Daniel Damir Harabor, Alban Grastien
Improving Jump Point Search. ICAPS (2014)
Cody James Christopher, Marie-Odile Cordier, Alban Grastien
Critical observations in a diagnostic problem. CDC (2014)
Franck Cassez, Alban Grastien
Predictability of Event Occurrences in Timed Systems. CoRR (2013)
Franck Cassez, Alban Grastien
Predictability of Event Occurrences in Timed Systems. FORMATS (2013)
Daniel Damir Harabor, Alban Grastien
An Optimal Any-Angle Pathfinding Algorithm. ICAPS (2013)
Alban Grastien, Anbulagan
Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study. IEEE Trans. Autom. Control. 58 (12) (2013)
Alban Grastien
An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming CoRR (2012)
Daniel Damir Harabor, Alban Grastien
The JPS Pathfinding System. SOCS (2012)
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR (2012)
Daniel Damir Harabor, Alban Grastien
Online Graph Pruning for Pathfinding On Grid Maps. AAAI (2011)
Alban Grastien, Gianluca Torta
Reformulation for the Diagnosis of Discrete-Event Systems. SARA (2011)
Alban Grastien, Gianluca Torta
A Theory of Abstraction for Diagnosis of Discrete-Event Systems. SARA (2011)
Alban Grastien, Anbulagan
Diagnostic de systèmes à événements discrets à base de cohérence par SAT. Rev. d'Intelligence Artif. 24 (6) (2010)
Anbulagan, Alban Grastien
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. SARA (2009)
Alban Grastien, Anbulagan
Incremental Diagnosis of DES by Satisfiability. ECAI (2008)
Priscilla Kan John, Alban Grastien
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. ECAI (2008)
Marie-Odile Cordier, Alban Grastien
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. IJCAI (2007)
Jussi Rintanen, Alban Grastien
Diagnosability Testing with Satisfiability Algorithms. IJCAI (2007)
Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI (2007)
Alban Grastien, Marie-Odile Cordier, Christine Largouët
Incremental Diagnosis of Discrete-Event Systems. IJCAI (2005)
Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien
MonitoringWeb Service Networks in a Model-based Approach. ECOWS (2005)
Alban Grastien, Marie-Odile Cordier, Christine Largouët
First Steps Towards Incremental Diagnosis of Discrete-Event Systems. Canadian Conference on AI (2005)
Alban Grastien, Marie-Odile Cordier, Christine Largouët
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations. AI*IA (2005)

Alban Grastien.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alban Grastien