R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand, An Architecture for Autonomy, The International Journal of Robotics Research, vol.17, issue.4, pp.315-337, 1998.
DOI : 10.1177/027836499801700402
URL : https://hal.archives-ouvertes.fr/hal-00123273

A. Avi?ienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2005.
DOI : 10.1109/TDSC.2004.2

M. Becker and D. R. Smith, Model Validation in Planware, ICAPS Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, 2005.

D. E. Bernard, E. B. Gamble, N. F. Rouquette, B. Smith, Y. W. Tung et al., Remote Agent Experiment DS1 Technology Validation Report Verification of Autonomous Systems for Space Applications, IEEE Aerospace Conference, 2000.

I. R. Chen, F. B. Bastani, and T. W. Tsao, On the Reliability of AI Planning Software in Real-Time Applications, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.1, pp.14-25, 1995.

I. R. Chen, Effect of parallel planning on system reliability of real-time expert systems, IEEE Transactions on Reliability, vol.46, issue.1, pp.81-87, 1997.
DOI : 10.1109/24.589932

Y. Crouzet, H. Waeselynck, B. Lussier, D. M. Powell, and P. Thévenod-fosse, The SESAME Experience: from Assembly Languages to Declarative Models Software Error Analysis: a Real Case Study Involving Real Faults and Mutations, Proceedings of the 2nd Workshop on Mutation Analysis. Daran, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis. Fox, M.; Howey, R.; and Long, D. 2005. Exploration of the Robustness of Plans ICAPS Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, 1996.

A. Goldberg, K. Havelund, C. Mcgann, K. Havelund, M. Lowry et al., Verification of Autonomous Systems for Space Applications Formal Analysis of a Space Craft Controller using SPIN, IEEE Aerospace Conference, pp.749-765, 2001.

R. Howey, D. Long, and M. Fox, VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL, 16th IEEE International Conference on Tools with Artificial Intelligence, 2004.
DOI : 10.1109/ICTAI.2004.120

S. Joyeux, A. Lampe, R. Alami, and S. K. Lacroix, Simulation in the LAAS Architecture Mapping Temporal Planning Constraints into Timed Automata, TIME, pp.21-27, 2001.

K. H. Kim, W. , and H. O. , Distributed execution of recovery blocks: an approach for uniform treatment of hardware and software faults in real-time applications, IEEE Transactions on Computers, vol.38, issue.5, pp.626-636, 1989.
DOI : 10.1109/12.24266

S. Lemai, I. , and F. , Interleaving Temporal Planning and Execution in Robotics Domains, AAAI, pp.617-622, 2004.

B. Lussier, M. Gallien, J. Guiochet, F. Ingrand, M. O. Killijian et al., Fault Tolerant Planning for Critical Robots, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), 2007.
DOI : 10.1109/DSN.2007.50
URL : https://hal.archives-ouvertes.fr/hal-01292653

J. Penix, C. Pecheur, and K. Havelund, Using Model Checking to Validate AI Planner Domain Models, SEW, 1998.

F. Py, I. , and F. , Dependable execution control for autonomous robots, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), 2004.
DOI : 10.1109/IROS.2004.1389549

B. Randell, System Structure for Software Fault Tolerance, IEEE Transactions on Software Engineering, vol.1, pp.220-232, 1975.

B. Srivastava, T. A. Nguyen, A. Gerevini, S. Kambhampati, M. B. Do et al., Domain Independent Approaches for Finding Diverse Plans, IJCAI, 2007.