Alban Grastien

69 papers A* 22A 4B 4C 4Journal 21Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bridging AI and Clinical Reasoning: Abductive Explanations for Alignment on Critical Symptoms. CoRR Belona Sonna, Alban Grastien
2026	J	`jnl`	Formal Abductive Explanations for Navigating Mental Health Help-Seeking and Diversity in Tech Workplaces. CoRR Belona Sonna, Alain Momo, Alban Grastien
2026	A*	`conf`	Formal Abductive Latent Explanations for Prototype-Based Networks. AAAI Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila
2026	A*	`conf`	Inapproximability of STRIPS Planning. AAAI Xing Tan, Alban Grastien
2025	J	`jnl`	Beyond Verification: Abductive Explanations for Post-AI Assessment of Privacy Leakage. CoRR Belona Sonna, Alban Grastien, Claire Benn
2025	J	`jnl`	Complexity Results of Persuasion. CoRR Alban Grastien
2025	—	`conf`	Explications de diagnostic à base de modèle. APIA Alban Grastien
2025	J	`jnl`	Formal Abductive Latent Explanations for Prototype-Based Networks. CoRR Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila
2025	A*	`conf`	Inapproximability of Optimal Multi-Agent Pathfinding Problems. AAAI Xing Tan, Alban Grastien
2025	—	`conf`	On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems. AI (1) Belona Sonna, Alban Grastien
2025	J	`jnl`	On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems. CoRR Belona Sonna, Alban Grastien
2025	B	`conf`	The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. iFM Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025	J	`jnl`	The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. CoRR Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025	A*	`conf`	Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans. AAAI Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher
2024	A*	`conf`	A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS Xiaodi Zhang, Alban Grastien, Charles Gretton
2024	—	`conf`	CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models. xAI (Late-breaking Work, Demos, Doctoral Consortium) Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard-Satabin, Zakaria Chihani
2024	J	`jnl`	CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. CoRR Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani
2024	J	`jnl`	Critical observations in model-based diagnosis. Artif. Intell. Cody James Christopher, Alban Grastien
2023	J	`jnl`	A More General Theory of Diagnosis from First Principles. CoRR Alban Grastien, Patrik Haslum, Sylvie Thiébaux
2023	A*	`conf`	Formal Explanations of Neural Network Policies for Planning. IJCAI Renee Selvey, Alban Grastien, Sylvie Thiébaux
2023	B	`conf`	Improvements to CPCES. SOCS Xiaodi Zhang, Alban Grastien
2023	A*	`conf`	Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI Songtuan Lin, Alban Grastien, Pascal Bercher
2021	C	`conf`	Computing Plans that Signal Normative Compliance. AIES Alban Grastien, Claire Benn, Sylvie Thiébaux
2021	A*	`conf`	Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning. ICAPS Enrico Scala, Alban Grastien
2021	J	`jnl`	Reducing moral ambiguity in partially observed human-robot interactions. Adv. Robotics Claire Benn, Alban Grastien
2020	J	`jnl`	CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement. Artif. Intell. Alban Grastien, Enrico Scala
2020	A*	`conf`	Computing Superior Counter-Examples for Conformant Planning. AAAI Xiaodi Zhang, Alban Grastien, Enrico Scala
2019	B	`conf`	Brigitte, a Bridge-Based Grid Path-Finder. SOCS Alban Grastien
2018	A*	`conf`	Sampling Strategies for Conformant Planning. ICAPS Alban Grastien, Enrico Scala
2018	—	`conf`	The Maximum Transmission Switching Flow Problem. e-Energy Alban Grastien, Ignaz Rutter, Dorothea Wagner, Franziska Wegner, Matthias Wolf
2017	A*	`conf`	Compromise-free Pathfinding on a Navigation Mesh. IJCAI Michael Cui, Daniel Damir Harabor, Alban Grastien
2017	A*	`conf`	Diagnosability Planning for Controllable Discrete Event Systems. AAAI Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
2017	C	`conf`	Inference of fault signatures of discrete-event systems from event logs. DX Cody James Christopher, Yannick Pencolé, Alban Grastien
2017	A*	`conf`	Intelligent Belief State Sampling for Conformant Planning. IJCAI Alban Grastien, Enrico Scala
2016	A*	`conf`	Diagnosability of Discrete-Event Systems with Uncertain Observations. IJCAI Xingyu Su, Marina Zanella, Alban Grastien
2016	J	`jnl`	Optimal Any-Angle Pathfinding In Practice. J. Artif. Intell. Res. Daniel Damir Harabor, Alban Grastien, Dindar Öz, Vural Aksakalli
2015	C	`conf`	Formulating Event-Based Critical Observations in Diagnostic Problems. DX Cody James Christopher, Alban Grastien
2015	—	`conf`	Formulating event-based critical observations in diagnostic problems. CDC Cody James Christopher, Alban Grastien
2015	J	`jnl`	Interval Predictability in Discrete Event Systems. CoRR Alban Grastien
2015	C	`conf`	Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. DX Alban Grastien
2015	J	`jnl`	The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. CoRR Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014	J	`jnl`	AC-Feasibility on Tree Networks is NP-Hard. CoRR Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014	—	`conf`	Critical observations in a diagnostic problem. CDC Cody James Christopher, Marie-Odile Cordier, Alban Grastien
2014	A	`conf`	Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. ECAI Alban Grastien
2014	A*	`conf`	Improving Jump Point Search. ICAPS Daniel Damir Harabor, Alban Grastien
2014	J	`jnl`	The Complexity of DC-Switching Problems. CoRR Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014	A	`conf`	Verifying the Precision of Diagnostic Algorithms. ECAI Xingyu Su, Alban Grastien
2013	A*	`conf`	An Optimal Any-Angle Pathfinding Algorithm. ICAPS Daniel Damir Harabor, Alban Grastien
2013	J	`jnl`	Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study. IEEE Trans. Autom. Control. Alban Grastien, Anbulagan
2013	—	`conf`	Predictability of Event Occurrences in Timed Systems. FORMATS Franck Cassez, Alban Grastien
2013	J	`jnl`	Predictability of Event Occurrences in Timed Systems. CoRR Franck Cassez, Alban Grastien
2012	J	`jnl`	An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming CoRR Alban Grastien
2012	A*	`conf`	Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR Alban Grastien, Patrik Haslum, Sylvie Thiébaux
2012	B	`conf`	The JPS Pathfinding System. SOCS Daniel Damir Harabor, Alban Grastien
2011	—	`conf`	A Theory of Abstraction for Diagnosis of Discrete-Event Systems. SARA Alban Grastien, Gianluca Torta
2011	A*	`conf`	Online Graph Pruning for Pathfinding On Grid Maps. AAAI Daniel Damir Harabor, Alban Grastien
2011	—	`conf`	Reformulation for the Diagnosis of Discrete-Event Systems. SARA Alban Grastien, Gianluca Torta
2010	J	`jnl`	Diagnostic de systèmes à événements discrets à base de cohérence par SAT. Rev. d'Intelligence Artif. Alban Grastien, Anbulagan
2009	—	`conf`	Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. SARA Anbulagan, Alban Grastien
2008	A	`conf`	Incremental Diagnosis of DES by Satisfiability. ECAI Alban Grastien, Anbulagan
2008	A	`conf`	Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. ECAI Priscilla Kan John, Alban Grastien
2007	A*	`conf`	Diagnosability Testing with Satisfiability Algorithms. IJCAI Jussi Rintanen, Alban Grastien
2007	A*	`conf`	Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
2007	A*	`conf`	Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. IJCAI Marie-Odile Cordier, Alban Grastien
2005	—	`conf`	Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations. AI*IA Alban Grastien, Marie-Odile Cordier, Christine Largouët
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	—	`conf`	First Steps Towards Incremental Diagnosis of Discrete-Event Systems. Canadian AI Alban Grastien, Marie-Odile Cordier, Christine Largouët
2005	A*	`conf`	Incremental Diagnosis of Discrete-Event Systems. IJCAI Alban Grastien, Marie-Odile Cordier, Christine Largouët
2005	—	`conf`	MonitoringWeb Service Networks in a Model-based Approach. ECOWS Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien