A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems, Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp.731-737, 2011. ,
Preferential discrete model-based diagnosis for intermittent and permanent faults, 29th International Workshop on Principles of Diagnosis DX'18, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01796310
The nuXmv Symbolic Model Checker, Proceedings of the International Conference on Computer Aided Verification CAV'14, pp.334-342, 2014. ,
Conformant planning via symbolic model checking, Journal of Artificial Intelligence Research, vol.13, pp.305-338, 2000. ,
Intelligent belief state sampling for conformant planning, Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp.4317-4323, 2017. ,
Readings in model-based diagnosis, 1992. ,
Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01137921
Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning, ICAPS, pp.335-344, 2004. ,
A comprehensive taxonomy for multi-robot task allocation, The International Journal of Robotics Research, vol.32, pp.1495-1512, 2013. ,
Good learning and implicit model enumeration, Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence ICTAI'05. IEEE, p.6, 2005. ,
Computing Contingent Plans via Fully Observable Non-Deterministic Planning, AAAI, pp.2322-2329, 2014. ,
Autonomous decision making for planetary rovers using diagnostic and prognostic information, IFAC Proceedings Volumes, vol.45, pp.289-294, 2012. ,
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis, Proceedings of the 28th International Workshop on Principles of Diagnosis DX'17. Kalpa Proceedings in Computing, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02003771
A theory of diagnosis from first principles, Artificial intelligence, vol.32, pp.57-95, 1987. ,
Robust Plan Execution Using Model-Based Reasoning, Advanced Robotics, vol.23, pp.1315-1326, 2009. ,
Computational techniques for a simple theory of conditional preferences, Artificial Intelligence, vol.175, pp.1053-1091, 2011. ,