Y. Abdedda¨?mabdedda¨?m, E. Asarin, M. Gallien, F. Ingrand, C. Lesire et al., Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches, ICAPS, 2007.

T. Abdellatif, J. Combaz, and J. Sifakis, Model-Based Implementation of Real-Time Applications, EMSOFT, 2010.

D. Amodei, C. Olah, J. Steinhardt, P. Christiano, J. Schulman et al., Concrete Problems in AI Safety. arXiv, 2016.

B. D. Argall, S. Chernova, M. M. Veloso, B. Browning, G. Bardaro et al., A use case in model-based robot development using AADL and ROS, ACM/IEEE Workshop on Robotics Software Engineering, 2009.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal 4.0, 2006.

S. Ben-rayana, M. Bozga, S. Bensalem, and J. Combaz, RTD-FinderA Tool for Compositional Verification of Real-Time Component-Based Systems, TACAS, 2016.

S. Bensalem, L. De-silva, F. Ingrand, Y. , and R. , A Verifiable and Correctby-Construction Controller for Robot Functional Levels, 2011.

S. Bensalem, K. Havelund, and A. Orlandini, Verification and validation meet planning and scheduling, 2014.

A. Benveniste and G. Berry, The synchronous approach to reactive and realtime systems, Proceedings of the IEEE, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le-guernic et al., Modeling and Verification of Time-Dependent Systems Using Time Petri Nets, Proceedings of the IEEE, 1991.

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, ERTSS, 2008. Bjørner, D. and Havelund, K. 40 Years of Formal Methods-Some Obstacles and Some Possibilities? FM, 2014.
URL : https://hal.archives-ouvertes.fr/inria-00262442

J. Bohren and S. Cousins, The SMACH High-Level Executive, IEEE RAM, 2010.

F. Boussinot, R. De-simone, . The, and . Language, Proceeding of the IEEE, 1991. Brugali, D. Model-Driven Software Engineering in Robotics. IEEE RAM, 2015.

H. Bruyninckx, Open Robot Control Software: The OROCOS Project, ICRA, 2001.

F. Cassez, C. Pagetti, and O. H. Roux, A Timed Extension for ALTARICA, Fundam. Inform, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00363026

A. Cavalcanti, Formal Methods for Robotics: RoboChart, RoboSim, and More, Formal Methods: Foundations and Applications, 2017.

G. Cicala, A. Khalili, G. Metta, L. Natale, S. Pathak et al., Engineering approaches and methods to verify software in autonomous systems, IAS, 2016.

J. Claßen, G. Röger, G. Lakemeyer, and B. Nebel, Platas-Integrating Planning and the Action Language Golog. KI-Künstliche Intelligenz, 2012.

D. Come, J. Brunel, D. , and D. , Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic, ICRC, 2018.

H. Costelha and P. U. Lima, Robot task plan representation by Petri nets: modelling, identification, analysis and execution, Autonomous Robots, 2012.

S. Dal-zilio, B. Berthomieu, L. Botlan, and D. , Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina, FMTV verification challenge of WATERS 2015, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01202741

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, and D. B. Poulsen, , 2015.

A. Desai, T. Dreossi, and S. A. Seshia, Combining Model Checking and Runtime Verification for Safe Robotics, 2017.

S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi, Z. et al., RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications, SIMPAR, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00995125

D. Doose, C. Grand, C. Lesire, and . Mauve-runtime, A Component-Based Middleware to Reconfigure Software Architectures in Real-Time, ICRC, 2017.

D. Silva, V. Kroening, D. Weissenbacher, and G. , A Survey of Automated Techniques for Formal Software Verification, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst, 2008.

B. Espiau, K. Kapellos, J. , and M. , Formal verification in robotics: Why and how? In ISRR, 1996.

P. Feth, M. N. Akram, R. Schuster, and O. Wasenmüller, Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning, 2018.

M. Foughali, Formal Verification of the Functional Layer of Robotic and Autonomous Systems, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02080063

M. Foughali, B. Berthomieu, S. Dal-zilio, P. Hladik, F. Ingrand et al., Formal verification of complex robotic systems on resourceconstrained platforms, FormaliSE '18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778960

M. Foughali, F. Ingrand, A. Mallet, N. Gobillot, F. Guet et al., Measurement-based real-time analysis of robotic software architectures, GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. arXiv, 2016.

J. Guiochet, M. Machin, and H. Waeselynck, Safety-critical advanced robots: A survey. Robotics and Autonomous Systems, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01394136

D. Hähnel, W. Burgard, and G. Lakemeyer, GOLEX-bridging the gap between logic (GOLOG) and a real robot, KI Advances in Artificial Intelligence, 1998.

R. Halder, J. Proença, N. Macedo, S. , and A. , Formal Verification of ROS-Based Robotic Applications Using Timed-Automata, IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE, 2017.

M. Herrb, Pocolibs: POsix COmmunication LIbrary, 1992.

J. Huang, C. Erdogan, Y. Zhang, B. Moore, and Q. Luo, ROSRV: Runtime verification for robots, 2014.

G. Infantes, M. Ghallab, and F. Ingrand, Learning the behavior model of a robot, Autonomous Robots, 2010.

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

A. K. Jónsson, V. Verma, C. Pasareanu, and M. Iatauro, Universal executive and PLEXIL: engine and language for robust spacecraft control and operations, AIAA Space, 2006.

A. Kai, K. Hölldobler, B. Rumpe, and A. Wortmann, Modeling Robotics Software Architectures with Modular Model Transformations. JOSER, 2017.

J. Kober, J. A. Bagnell, and J. Peters, Reinforcement Learning in Robotics: A Survey. IJRR, 2013.

P. Koopman and M. Wagner, Challenges in Autonomous Vehicle Testing and Validation, SAE Int. Jrnl. Transp. Safety, 2016.

D. Kortenkamp and R. Simmons, Robotic Systems Architectures and Programming, Handbook of Robotics, 2008.

H. Kress-gazit, T. Wongpiromsarn, U. Topcu, and . Correct, Reactive, HighLevel Robot Control. IEEE RAM, 2011.

C. Lesire and F. Pommereau, ASPiC: an Acting system based on Skill Petri net Composition, IROS, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02083310

H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl, GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, 1997.

W. Li, A. Miyazawa, P. Ribeiro, A. Cavalcanti, J. Woodcock et al., From Formalised State Machines to Implementations of Robotic Controllers, Distributed Autonomous Robotic Systems, 2018.

A. Lotz, A. Hamann, I. Lütkebohle, D. Stampfer, M. Luckcuck et al., Modeling Non-Functional Application Domain Constraints for Component-Based Robotics Software Systems. arXivorg, Formal Specification and Verification of Autonomous Robotic Systems: A Survey. arXiv, 2016.

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, GenoM3: Building middleware-independent robotic components, ICRA, 2010.

W. Meng, J. Park, O. Sokolsky, S. Weirich, L. et al., Verified ROS-Based Deployment of Platform-Independent Control Systems, NASA formal methods, 2015.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, and J. Timmis, Automatic property checking of robotic applications, IROS, 2017.

C. Mühlbacher, S. Gspandl, M. Reip, G. Steinbauer, A. Nordmann et al., Improving Dependability of Industrial Transport Robots Using Model-Based Techniques, ICRA, 2016.

M. Quigley, B. Gerkey, K. Conley, J. Faust, T. Foote et al., ROS: an open-source Robot Operating System, ICRA, 2009.

P. Ribeiro, A. Miyazawa, W. Li, A. Cavalcanti, and J. Timmis, Modelling and Verification of Timed Robotic Controllers, IFM, 2017.

K. Y. Rozier, Specification-The Biggest Bottleneck in Formal Methods and Autonomy, VSTTE, 2016.

C. Schlegel, T. Hassler, A. Lotz, and A. Steck, Robotic software systems: From code-driven to model-driven designs, ICAR, 2009.

S. A. Seshia, D. Sadigh, and S. S. Sastry, Towards Verified Artificial Intelligence. arXiv, 2016.

R. Simmons and C. Pecheur, Automating Model Checking for Autonomous Systems, AAAI Spring Symposium on Real-Time Autonomous Systems, 2000.

D. Simon, R. Pissard-gibollet, and S. Arias, Orccad, a framework for safe robot control design and implementation, CAR, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00385258

D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Modeling Mixed-critical Systems in Real-time BIP, 1st workshop on Real-Time Mixed Criticality Systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867465

A. Sorin, L. Morten, J. Kjeld, and U. P. Schultz, Rule-based Dynamic Safety Monitoring for Mobile Robots, Journal Of Software Engineering In Robotics, 2016.

T. Sotiropoulos, H. Waeselynck, J. Guiochet, and F. Ingrand, Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study, QRS, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01534235

H. Täubig, U. Frese, C. Hertzberg, C. Lüth, S. Mohr et al., Guaranteeing functional safety: design for provability and computer-aided verification, 2011.

C. J. Tomlin, I. Mitchell, A. M. Bayen, M. Oishi, B. C. Williams et al., Model-based Programming of Intelligent Embedded Systems and Robotic Space Explorers, Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers. JOSER, 2003.

J. Woodcock, P. G. Larsen, J. Bicarregui, F. , J. S. Yakymets et al., Model-driven safety assessment of robotic systems, IROS, 2009.