Alban Grastien

According to our database, Alban Grastien authored at least 53 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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-Satabin, Zakaria Chihani

Proceedings of the Joint Proceedings of the xAI 2024 Late-breaking Work, 2024

A Counter-Example Based Approach to Probabilistic Conformant Planning.

Xiaodi Zhang, Alban Grastien, Charles Gretton

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

A More General Theory of Diagnosis from First Principles.

Alban Grastien, Patrik Haslum, Sylvie Thiébaux

CoRR, 2023

Improvements to CPCES.

Xiaodi Zhang, Alban Grastien

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Formal Explanations of Neural Network Policies for Planning.

Renee Selvey, Alban Grastien, Sylvie Thiébaux

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains.

Songtuan Lin, Alban Grastien, Pascal Bercher

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Reducing moral ambiguity in partially observed human-robot interactions.

Claire Benn, Alban Grastien

Adv. Robotics, 2021

Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning.

Enrico Scala, Alban Grastien

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Computing Plans that Signal Normative Compliance.

Alban Grastien, Claire Benn, Sylvie Thiébaux

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020

CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement.

Alban Grastien, Enrico Scala

Artif. Intell., 2020

Computing Superior Counter-Examples for Conformant Planning.

Xiaodi Zhang, Alban Grastien, Enrico Scala

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Brigitte, a Bridge-Based Grid Path-Finder.

Alban Grastien

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

2018

The Maximum Transmission Switching Flow Problem.

Alban Grastien, Ignaz Rutter, Dorothea Wagner, Franziska Wegner, Matthias Wolf

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Sampling Strategies for Conformant Planning.

Alban Grastien, Enrico Scala

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Intelligent Belief State Sampling for Conformant Planning.

Alban Grastien, Enrico Scala

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Compromise-free Pathfinding on a Navigation Mesh.

Michael Cui, Daniel Damir Harabor, Alban Grastien

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Inference of fault signatures of discrete-event systems from event logs.

Cody James Christopher, Yannick Pencolé, Alban Grastien

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Diagnosability Planning for Controllable Discrete Event Systems.

Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Optimal Any-Angle Pathfinding In Practice.

Daniel Damir Harabor, Alban Grastien, Dindar Öz, Vural Aksakalli

J. Artif. Intell. Res., 2016

Diagnosability of Discrete-Event Systems with Uncertain Observations.

Xingyu Su, Marina Zanella, Alban Grastien

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

The Complexity of Switching and FACTS Maximum-Potential-Flow Problems.

Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck

CoRR, 2015

Interval Predictability in Discrete Event Systems.

Alban Grastien

CoRR, 2015

Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems.

Alban Grastien

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Formulating event-based critical observations in diagnostic problems.

Cody James Christopher, Alban Grastien

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

The Complexity of DC-Switching Problems.

Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck

CoRR, 2014

AC-Feasibility on Tree Networks is NP-Hard.

Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck

CoRR, 2014

Verifying the Precision of Diagnostic Algorithms.

Xingyu Su, Alban Grastien

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges.

Alban Grastien

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Critical observations in a diagnostic problem.

Cody James Christopher, Marie-Odile Cordier, Alban Grastien

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Improving Jump Point Search.

Daniel Damir Harabor, Alban Grastien

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study.

Alban Grastien, Anbulagan

IEEE Trans. Autom. Control., 2013

Predictability of Event Occurrences in Timed Systems.

Franck Cassez, Alban Grastien

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

An Optimal Any-Angle Pathfinding Algorithm.

Daniel Damir Harabor, Alban Grastien

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming

Alban Grastien

CoRR, 2012

The JPS Pathfinding System.

Daniel Damir Harabor, Alban Grastien

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice.

Alban Grastien, Patrik Haslum, Sylvie Thiébaux

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

A Theory of Abstraction for Diagnosis of Discrete-Event Systems.

Alban Grastien, Gianluca Torta

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Reformulation for the Diagnosis of Discrete-Event Systems.

Alban Grastien, Gianluca Torta

Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

Online Graph Pruning for Pathfinding On Grid Maps.

Daniel Damir Harabor, Alban Grastien

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Diagnostic de systèmes à événements discrets à base de cohérence par SAT.

Alban Grastien, Anbulagan

Rev. d'Intelligence Artif., 2010

2009

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints.

Anbulagan, Alban Grastien

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008

Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems.

Priscilla Kan John, Alban Grastien

Proceedings of the ECAI 2008, 2008

Incremental Diagnosis of DES by Satisfiability.

Alban Grastien, Anbulagan

Proceedings of the ECAI 2008, 2008

2007

Diagnosability Testing with Satisfiability Algorithms.

Jussi Rintanen, Alban Grastien

Proceedings of the IJCAI 2007, 2007

Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis.

Marie-Odile Cordier, Alban Grastien

Proceedings of the IJCAI 2007, 2007

Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.

Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

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

PhD thesis, 2005

Incremental Diagnosis of Discrete-Event Systems.

Alban Grastien, Marie-Odile Cordier, Christine Largouët

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

MonitoringWeb Service Networks in a Model-based Approach.

Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations.

Alban Grastien, Marie-Odile Cordier, Christine Largouët

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

First Steps Towards Incremental Diagnosis of Discrete-Event Systems.

Alban Grastien, Marie-Odile Cordier, Christine Largouët

Proceedings of the Advances in Artificial Intelligence, 2005