N. Belard, Y. Pencolé, and M. Combacau, 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.

V. Bouziat, X. Pucel, S. Roussel, and L. Travé-massuyès, 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

R. Cavada, A. Cimatti, M. Dorigatti, A. Griggio, A. Mariotti et al., The nuXmv Symbolic Model Checker, Proceedings of the International Conference on Computer Aided Verification CAV'14, pp.334-342, 2014.

A. Cimatti and M. Roveri, Conformant planning via symbolic model checking, Journal of Artificial Intelligence Research, vol.13, pp.305-338, 2000.

A. Grastien, E. Scala, and F. Kessler, Intelligent belief state sampling for conformant planning, Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp.4317-4323, 2017.

W. Hamscher, Readings in model-based diagnosis, 1992.

F. Ingrand and M. Ghallab, Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01137921

M. M. Rune-m-jensen, R. E. Veloso, and . Bryant, Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning, ICAPS, pp.335-344, 2004.

A. G-ayorkor-korsah, M. Stentz, and . Dias, A comprehensive taxonomy for multi-robot task allocation, The International Journal of Robotics Research, vol.32, pp.1495-1512, 2013.

A. Morgado and J. Marques-silva, Good learning and implicit model enumeration, Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence ICTAI'05. IEEE, p.6, 2005.

J. Christian, V. Muise, S. A. Belle, and . Mcilraith, Computing Contingent Plans via Fully Observable Non-Deterministic Planning, AAAI, pp.2322-2329, 2014.

S. Narasimhan, E. Balaban, M. Daigle, I. Roychoudhury, A. Sweet et al., Autonomous decision making for planetary rovers using diagnostic and prognostic information, IFAC Proceedings Volumes, vol.45, pp.289-294, 2012.

X. Pucel and S. Roussel, 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

R. Reiter, A theory of diagnosis from first principles, Artificial intelligence, vol.32, pp.57-95, 1987.

G. Steinbauer and F. Wotawa, Robust Plan Execution Using Model-Based Reasoning, Advanced Robotics, vol.23, pp.1315-1326, 2009.

N. Wilson, Computational techniques for a simple theory of conditional preferences, Artificial Intelligence, vol.175, pp.1053-1091, 2011.