Y. Abdeddaim, E. Asarin, M. Gallien, F. Ingrand, C. Lesire et al., Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches, Proceedings of the International Conference on Automated Planning and Scheduling, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00157935

T. Abdellatif, J. Combaz, and J. Sifakis, Model-Based Implementation of Real-Time Applications, International Conference on Embedded Software, 2010.

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

B. D. Argall, S. Chernova, M. M. Veloso, and B. Browning, A survey of robot learning from demonstration, Robotics and Autonomous Systems, vol.57, issue.5, pp.469-483, 2009.

G. Bardaro, A. Semprebon, and M. Matteucci, A use case in model-based robot development using AADL and ROS, ACM/IEEE Workshop on Robotics Software Engineering, pp.9-16, 2018.

G. Behrmann, A. David, and K. G. Larsen, , 2006.

S. Ben-rayana, M. Bozga, S. Bensalem, and J. Combaz, RTD-Finder -A Tool for Compositional Verification of Real-Time Component-Based Systems, TACAS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01889137

S. Bensalem, L. De-silva, F. Ingrand, and R. Yan, Verifiable and Correct-by-Construction Controller for Robot Functional Levels, Journal of Software Engineering for Robotics, vol.1, issue.2, pp.1-19, 2011.

S. Bensalem, K. Havelund, and A. Orlandini, Verification and validation meet planning and scheduling, International Journal on Software Tools for Technology Transfer, vol.16, issue.1, pp.1-12, 2014.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE URL, 2003.

B. Berthomieu and M. Diaz, Modeling and Verification of Time-Dependent Systems Using Time Petri Nets, Ieee Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.

B. Berthomieu, J. P. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, Embedded Real-Time Software and Systems, HAL -CCSD, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

D. Bjørner and K. Havelund, 40 Years of Formal Methods -Some Obstacles and Some Possibilities? FM URL, 2014.

J. Bohren and S. Cousins, The SMACH High-Level Executive, IEEE Robotics and Automation Magazine, vol.17, issue.4, pp.18-20, 2010.

F. Boussinot and R. De-simone, The ESTEREL Language, Proceeding of the IEEE, pp.1293-1304, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075075

D. Brugali, Model-Driven Software Engineering in Robotics, IEEE Robotics and Automation Magazine, vol.22, issue.3, pp.155-166, 2015.

D. Brugali, Managing software variability for dynamic reconfiguration of robot control systems, RoboSoft: Software Engineering for Robotics, 2020.

S. Brunner, The RAFCON task control framework, RoboSoft: Software Engineering for Robotics, 2020.

H. Bruyninckx, Open Robot Control Software: The OROCOS Project, IEEE International Conference on Robotics and Automation Cassez F, 2001.

, Cavalcanti A (2017) Formal Methods for Robotics: RoboChart, RoboSim, and More

A. Cavalcanti, RoboStar technology -a roboticist's toolbox for combined proof and sound simulation, RoboSoft: Software Engineering for Robotics, 2020.

G. Cicala, A. Khalili, G. Metta, L. Natale, S. Pathak et al., Engineering approaches and methods to verify software in autonomous systems, International Conference on Intelligent Autonomous Systems, 2016.

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

D. Come, J. Brunel, and D. Doose, Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic, IEEE International Conference on Robotic Computing, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02489018

H. Costelha and P. U. Lima, Robot task plan representation by Petri nets: modelling, identification, analysis and execution, Autonomous Robots, vol.33, issue.4, pp.337-360, 2012.

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

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, and D. B. Poulsen, UP-PAAL SMC tutorial, International Journal on Software Tools for Technology Transfer pp, pp.1-19, 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, and M. Ziane, RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications, IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00995125

D. Doose, C. Grand, C. Lesire, V. Silva, D. Kroening et al., A Survey of Automated Techniques for Formal Software Verification, Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time, vol.27, pp.1165-1178, 2008.

K. Eder, S. Espiau, B. Kapellos, K. , and J. M. , Gaining confidence in the correctness of robotic and autonomous systems, Formal verification in robotics: Why and how? In: International Symposium on Robotics Research, 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. Fisher, Verifiable autonomy and responsible robotics, RoboSoft: Software Engineering for Robotics, 2020.

M. Foughali, Formal Verification of the Functional Layer of Robotic and Autonomous Systems, 2018.

M. Foughali, B. Berthomieu, D. Zilio, S. Hladik, P. E. Ingrand et al., Formal verification of complex robotic systems on resourceconstrained platforms, FormaliSE @ The International Conference on Software Engineering ICSE, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778960

N. Gobillot, F. Guet, D. Doose, C. Grand, C. Lesire et al., Measurement-based real-time analysis of robotic software architectures, IEEE/RSJ International Conference on Intelligent Robots and Systems, IEEE, pp.3306-3311, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01411373

, Gotlieb A (2020) Testing robotic systems: A new battlefield! In: RoboSoft: Software Engineering for Robotics

M. Guerra, D. Efimov, G. Zheng, and W. Perruquetti, Avoiding local minima in the potential field method using input-to-state stability, Control Engineering Practice, vol.55, pp.174-184, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01405349

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, pp.165-176, 1998.

R. Halder, J. Proença, N. Macedo, and A. Santos, 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.

R. Hierons, Systematic automated testing of robotic systems based on formal models, RoboSoft: Software Engineering for Robotics, 2020.

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

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

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

A. Kai, K. Hölldobler, B. Rumpe, and A. Wortmann, Modeling Robotics Software Architectures with Modular Model Transformations, Journal of Software Engineering for Robotics, vol.8, issue.1, pp.3-16, 2017.

J. Kober, J. A. Bagnell, and J. Peters, Reinforcement Learning in Robotics: A Survey, International Journal of Robotics Research DOI, 2013.

P. Koopman and M. Wagner, Challenges in Autonomous Vehicle Testing and Validation, SAE International Journal of Transportation Safety, vol.4, issue.1, pp.15-24, 2016.

D. Kortenkamp and R. G. Simmons, Robotic Systems Architectures and Programming, Handbook of Robotics, pp.187-206, 2008.

H. Kress-gazit, T. Wongpiromsarn, and U. Topcu, Correct, Reactive, High-Level Robot Control, IEEE Robotics and Automation Magazine, vol.18, issue.3, pp.65-74, 2011.

C. Lesire and F. Pommereau, ASPiC: an Acting system based on Skill Petri net Composition, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1-7, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01961211

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, vol.31, issue.1, pp.59-83, 1997.

W. Li, A. Miyazawa, P. Ribeiro, A. Cavalcanti, J. Woodcock et al., Lotz A, Hamann A, Lütkebohle I, Stampfer D (2016) Modeling Non-Functional Application Domain Constraints for Component-Based Robotics Software Systems, Distributed Autonomous Robotic Systems, pp.103-110, 2018.

M. Luckcuck, M. Farrell, L. Dennis, C. Dixon, and M. Fisher, Formal Specification and Verification of Autonomous Robotic Systems: A Survey, 2018.

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, GenoM3: Building middleware-independent robotic components, IEEE International Conference on Robotics and Automation, pp.4627-4632, 2010.

W. Meng, J. Park, O. Sokolsky, S. Weirich, and I. Lee, Verified ROS-Based Deployment of Platform-Independent Control Systems, NASA formal methods, pp.248-262, 2015.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, and J. Timmis, Automatic property checking of robotic applications, IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017.

C. Mühlbacher, S. Gspandl, M. Reip, and G. Steinbauer, Improving Dependability of Industrial Transport Robots Using Model-Based Techniques, IEEE International Conference on Robotics and Automation, pp.3133-3140, 2016.

A. Nordmann, N. Hochgeschwender, D. Wigand, and S. Wrede, A Survey on Domain-Specific Modeling and Languages in Robotics, Journal of Software Engineering for Robotics, vol.7, issue.1, pp.1-25, 2016.

P. Pelliccione, Making robots usable in everyday life, RoboSoft: Software Engineering for Robotics, 2020.

M. Quigley, B. Gerkey, K. Conley, J. Faust, T. Foote et al., Modelling and Verification of Timed Robotic Controllers, IEEE International Conference on Robotics and Automation, 2009.

K. Y. Rozier, Specification -The Biggest Bottleneck in Formal Methods and Autonomy, Verified Software: Theories, Tools, and Experiments, 2016.

Z. Saigol, Extending automotive certification processes to handle autonomous vehicles, RoboSoft: Software Engineering for Robotics, 2020.

C. Schlegel, Composition, separation of roles and model-driven approaches as enabler of a robotics software ecosystem, RoboSoft: Software Engineering for Robotics, 2020.

C. Schlegel, T. Hassler, A. Lotz, and A. Steck, Robotic software systems: From code-driven to model-driven designs, International Conference on Advanced Robotics, 2009.

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

R. G. 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, Control Architecture for Robots, 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, vol.7, issue.1, pp.120-141, 2016.

T. Sotiropoulos, H. Waeselynck, J. Guiochet, and F. Ingrand, Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study, IEEE International Conference on Software Quality, Reliability and Security, 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, Autonomous Robots, vol.32, issue.3, pp.303-331, 2011.

C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, Computational techniques for the verification of hybrid systems, Proceedings of the IEEE, vol.91, issue.7, pp.986-1001, 2003.

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

F. Vicentini, M. Askarpour, M. G. Rossi, and D. Mandrioli, Safety Assessment of Collaborative Robotics Through Automated Formal Verification, IEEE Transactions on Robotics, vol.36, issue.1, pp.42-61, 2020.

B. C. Williams and M. D. Ingham, Model-based Programming of Intelligent Embedded Systems and Robotic Space Explorers, Proc of the IEEE: Special Issue on Modeling and Design of Embedded Software, vol.91, issue.1, pp.212-237, 2003.

K. W. Wong and H. Kress-gazit, Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers, Journal of Software Engineering for Robotics, vol.8, issue.1, pp.1-13, 2017.

J. Woodcock, Modelling uncertainty in RoboChart using probability, RoboSoft: Software Engineering for Robotics, 2020.

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. S. Fitzgerald, Formal methods -Practice and experience, ACM computing surveys, vol.41, issue.4, 2009.

N. Yakymets, S. Dhouib, H. Jaber, and A. Lanusse, Model-driven safety assessment of robotic systems, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1137-1142, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01810068