default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlban Grastien
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]Cody James Christopher
, Alban Grastien:
Critical observations in model-based diagnosis. Artif. Intell. 331: 104116 (2024)- [c40]Xiaodi Zhang, Alban Grastien, Charles Gretton:
A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS 2024: 689-697 - [c39]Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard-Satabin, Zakaria Chihani:
CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models. xAI (Late-breaking Work, Demos, Doctoral Consortium) 2024: 265-272 - [i8]Romain Xu-Darme, Aymeric Varasse, Alban Grastien, Julien Girard, Zakaria Chihani:
CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. CoRR abs/2409.16693 (2024) - 2023
- [c38]Songtuan Lin, Alban Grastien, Pascal Bercher:
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI 2023: 12022-12031 - [c37]Renee Selvey, Alban Grastien, Sylvie Thiébaux:
Formal Explanations of Neural Network Policies for Planning. IJCAI 2023: 5446-5456 - [c36]Xiaodi Zhang, Alban Grastien:
Improvements to CPCES. SOCS 2023: 110-118 - [i7]Alban Grastien, Patrik Haslum, Sylvie Thiébaux:
A More General Theory of Diagnosis from First Principles. CoRR abs/2309.16180 (2023) - 2021
- [j5]Claire Benn, Alban Grastien:
Reducing moral ambiguity in partially observed human-robot interactions. Adv. Robotics 35(9): 537-552 (2021) - [c35]Alban Grastien, Claire Benn, Sylvie Thiébaux:
Computing Plans that Signal Normative Compliance. AIES 2021: 509-518 - [c34]Enrico Scala, Alban Grastien:
Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning. ICAPS 2021: 299-307 - 2020
- [j4]Alban Grastien, Enrico Scala:
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement. Artif. Intell. 284: 103271 (2020) - [c33]Xiaodi Zhang, Alban Grastien, Enrico Scala:
Computing Superior Counter-Examples for Conformant Planning. AAAI 2020: 10017-10024
2010 – 2019
- 2019
- [c32]Alban Grastien:
Brigitte, a Bridge-Based Grid Path-Finder. SOCS 2019: 176-177 - 2018
- [c31]Alban Grastien, Enrico Scala:
Sampling Strategies for Conformant Planning. ICAPS 2018: 97-105 - [c30]Alban Grastien, Ignaz Rutter, Dorothea Wagner, Franziska Wegner, Matthias Wolf:
The Maximum Transmission Switching Flow Problem. e-Energy 2018: 340-360 - 2017
- [c29]Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon:
Diagnosability Planning for Controllable Discrete Event Systems. AAAI 2017: 1149-1155 - [c28]Cody James Christopher, Yannick Pencolé, Alban Grastien:
Inference of fault signatures of discrete-event systems from event logs. DX 2017: 219-233 - [c27]Michael Cui, Daniel Damir Harabor, Alban Grastien:
Compromise-free Pathfinding on a Navigation Mesh. IJCAI 2017: 496-502 - [c26]Alban Grastien, Enrico Scala:
Intelligent Belief State Sampling for Conformant Planning. IJCAI 2017: 4317-4323 - 2016
- [j3]Daniel Damir Harabor, Alban Grastien, Dindar Öz, Vural Aksakalli:
Optimal Any-Angle Pathfinding In Practice. J. Artif. Intell. Res. 56: 89-118 (2016) - [c25]Xingyu Su, Marina Zanella, Alban Grastien:
Diagnosability of Discrete-Event Systems with Uncertain Observations. IJCAI 2016: 1265-1271 - 2015
- [c24]Cody James Christopher, Alban Grastien:
Formulating event-based critical observations in diagnostic problems. CDC 2015: 4462-4467 - [c23]Alban Grastien:
Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. DX 2015: 105-112 - [c22]Cody James Christopher, Alban Grastien:
Formulating Event-Based Critical Observations in Diagnostic Problems. DX 2015: 119-126 - [i6]Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. CoRR abs/1507.04820 (2015) - [i5]Alban Grastien:
Interval Predictability in Discrete Event Systems. CoRR abs/1508.00683 (2015) - 2014
- [c21]Daniel Damir Harabor, Alban Grastien:
Improving Jump Point Search. ICAPS 2014 - [c20]Cody James Christopher, Marie-Odile Cordier, Alban Grastien:
Critical observations in a diagnostic problem. CDC 2014: 382-387 - [c19]Alban Grastien:
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. ECAI 2014: 405-410 - [c18]Xingyu Su, Alban Grastien:
Verifying the Precision of Diagnostic Algorithms. ECAI 2014: 861-866 - [i4]Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
AC-Feasibility on Tree Networks is NP-Hard. CoRR abs/1410.8253 (2014) - [i3]Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
The Complexity of DC-Switching Problems. CoRR abs/1411.4369 (2014) - 2013
- [j2]Alban Grastien, Anbulagan:
Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study. IEEE Trans. Autom. Control. 58(12): 3070-3083 (2013) - [c17]Daniel Damir Harabor, Alban Grastien:
An Optimal Any-Angle Pathfinding Algorithm. ICAPS 2013 - [c16]Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. FORMATS 2013: 62-76 - [i2]Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. CoRR abs/1306.0662 (2013) - 2012
- [c15]Alban Grastien, Patrik Haslum, Sylvie Thiébaux:
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR 2012 - [c14]Daniel Damir Harabor, Alban Grastien:
The JPS Pathfinding System. SOCS 2012: 207-208 - [i1]Alban Grastien:
An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming. CoRR abs/1210.4231 (2012) - 2011
- [c13]Daniel Damir Harabor, Alban Grastien:
Online Graph Pruning for Pathfinding On Grid Maps. AAAI 2011: 1114-1119 - [c12]Alban Grastien, Gianluca Torta:
Reformulation for the Diagnosis of Discrete-Event Systems. SARA 2011 - [c11]Alban Grastien, Gianluca Torta:
A Theory of Abstraction for Diagnosis of Discrete-Event Systems. SARA 2011 - 2010
- [j1]Alban Grastien, Anbulagan:
Diagnostic de systèmes à événements discrets à base de cohérence par SAT. Rev. d'Intelligence Artif. 24(6): 757-786 (2010)
2000 – 2009
- 2009
- [c10]Anbulagan, Alban Grastien:
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. SARA 2009 - 2008
- [c9]Priscilla Kan John, Alban Grastien:
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. ECAI 2008: 209-213 - [c8]Alban Grastien, Anbulagan:
Incremental Diagnosis of DES by Satisfiability. ECAI 2008: 787-788 - 2007
- [c7]Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI 2007: 305-310 - [c6]Marie-Odile Cordier, Alban Grastien:
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. IJCAI 2007: 292-297 - [c5]Jussi Rintanen, Alban Grastien:
Diagnosability Testing with Satisfiability Algorithms. IJCAI 2007: 532-537 - 2005
- [b1]Alban Grastien:
Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables. (Decentralized and on-line diagnosis of reconfigurable discrete-event systems). University of Rennes 1, France, 2005 - [c4]Alban Grastien, Marie-Odile Cordier, Christine Largouët:
First Steps Towards Incremental Diagnosis of Discrete-Event Systems. Canadian AI 2005: 170-181 - [c3]Alban Grastien, Marie-Odile Cordier, Christine Largouët:
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations. AI*IA 2005: 270-281 - [c2]Yuhong Yan, Marie-Odile Cordier, Yannick Pencolé, Alban Grastien:
MonitoringWeb Service Networks in a Model-based Approach. ECOWS 2005: 192-203 - [c1]Alban Grastien, Marie-Odile Cordier, Christine Largouët:
Incremental Diagnosis of Discrete-Event Systems. IJCAI 2005: 1564-1665
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
