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
Model-Based Implementation of Real-Time Applications, International Conference on Embedded Software, 2010. ,
Concrete Problems in AI Safety, 2016. ,
A survey of robot learning from demonstration, Robotics and Autonomous Systems, vol.57, issue.5, pp.469-483, 2009. ,
A use case in model-based robot development using AADL and ROS, ACM/IEEE Workshop on Robotics Software Engineering, pp.9-16, 2018. ,
, , 2006.
RTD-Finder -A Tool for Compositional Verification of Real-Time Component-Based Systems, TACAS, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01889137
Verifiable and Correct-by-Construction Controller for Robot Functional Levels, Journal of Software Engineering for Robotics, vol.1, issue.2, pp.1-19, 2011. ,
Verification and validation meet planning and scheduling, International Journal on Software Tools for Technology Transfer, vol.16, issue.1, pp.1-12, 2014. ,
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
The synchronous languages 12 years later, Proceedings of the IEEE URL, 2003. ,
Modeling and Verification of Time-Dependent Systems Using Time Petri Nets, Ieee Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991. ,
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
40 Years of Formal Methods -Some Obstacles and Some Possibilities? FM URL, 2014. ,
The SMACH High-Level Executive, IEEE Robotics and Automation Magazine, vol.17, issue.4, pp.18-20, 2010. ,
The ESTEREL Language, Proceeding of the IEEE, pp.1293-1304, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075075
Model-Driven Software Engineering in Robotics, IEEE Robotics and Automation Magazine, vol.22, issue.3, pp.155-166, 2015. ,
Managing software variability for dynamic reconfiguration of robot control systems, RoboSoft: Software Engineering for Robotics, 2020. ,
The RAFCON task control framework, RoboSoft: Software Engineering for Robotics, 2020. ,
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
RoboStar technology -a roboticist's toolbox for combined proof and sound simulation, RoboSoft: Software Engineering for Robotics, 2020. ,
Engineering approaches and methods to verify software in autonomous systems, International Conference on Intelligent Autonomous Systems, 2016. ,
Platas-Integrating Planning and the Action Language Golog, KI-Künstliche Intelligenz, vol.26, issue.1, pp.61-67, 2012. ,
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
Robot task plan representation by Petri nets: modelling, identification, analysis and execution, Autonomous Robots, vol.33, issue.4, pp.337-360, 2012. ,
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
UP-PAAL SMC tutorial, International Journal on Software Tools for Technology Transfer pp, pp.1-19, 2015. ,
Combining Model Checking and Runtime Verification for Safe Robotics, 2017. ,
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
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. ,
Gaining confidence in the correctness of robotic and autonomous systems, Formal verification in robotics: Why and how? In: International Symposium on Robotics Research, 1996. ,
Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning, 2018. ,
Verifiable autonomy and responsible robotics, RoboSoft: Software Engineering for Robotics, 2020. ,
Formal Verification of the Functional Layer of Robotic and Autonomous Systems, 2018. ,
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
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
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
Safety-critical advanced robots: A survey, Robotics and Autonomous Systems, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01394136
GOLEX-bridging the gap between logic (GOLOG) and a real robot, KI Advances in Artificial Intelligence, pp.165-176, 1998. ,
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata, IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE, 2017. ,
Pocolibs: POsix COmmunication LIbrary, 1992. ,
Systematic automated testing of robotic systems based on formal models, RoboSoft: Software Engineering for Robotics, 2020. ,
ROSRV: Runtime verification for robots, Runtime Verification, 2014. ,
Learning the behavior model of a robot, Autonomous Robots, pp.1-21, 2010. ,
Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01137921
Modeling Robotics Software Architectures with Modular Model Transformations, Journal of Software Engineering for Robotics, vol.8, issue.1, pp.3-16, 2017. ,
Reinforcement Learning in Robotics: A Survey, International Journal of Robotics Research DOI, 2013. ,
Challenges in Autonomous Vehicle Testing and Validation, SAE International Journal of Transportation Safety, vol.4, issue.1, pp.15-24, 2016. ,
Robotic Systems Architectures and Programming, Handbook of Robotics, pp.187-206, 2008. ,
Correct, Reactive, High-Level Robot Control, IEEE Robotics and Automation Magazine, vol.18, issue.3, pp.65-74, 2011. ,
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
GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1, pp.59-83, 1997. ,
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. ,
Formal Specification and Verification of Autonomous Robotic Systems: A Survey, 2018. ,
GenoM3: Building middleware-independent robotic components, IEEE International Conference on Robotics and Automation, pp.4627-4632, 2010. ,
Verified ROS-Based Deployment of Platform-Independent Control Systems, NASA formal methods, pp.248-262, 2015. ,
Automatic property checking of robotic applications, IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017. ,
Improving Dependability of Industrial Transport Robots Using Model-Based Techniques, IEEE International Conference on Robotics and Automation, pp.3133-3140, 2016. ,
A Survey on Domain-Specific Modeling and Languages in Robotics, Journal of Software Engineering for Robotics, vol.7, issue.1, pp.1-25, 2016. ,
Making robots usable in everyday life, RoboSoft: Software Engineering for Robotics, 2020. ,
Modelling and Verification of Timed Robotic Controllers, IEEE International Conference on Robotics and Automation, 2009. ,
Specification -The Biggest Bottleneck in Formal Methods and Autonomy, Verified Software: Theories, Tools, and Experiments, 2016. ,
Extending automotive certification processes to handle autonomous vehicles, RoboSoft: Software Engineering for Robotics, 2020. ,
Composition, separation of roles and model-driven approaches as enabler of a robotics software ecosystem, RoboSoft: Software Engineering for Robotics, 2020. ,
Robotic software systems: From code-driven to model-driven designs, International Conference on Advanced Robotics, 2009. ,
Towards Verified Artificial Intelligence, 2016. ,
Automating Model Checking for Autonomous Systems, AAAI Spring Symposium on Real-Time Autonomous Systems, 2000. ,
ORCCAD, a framework for safe robot control design and implementation, Control Architecture for Robots, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00385258
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
Rule-based Dynamic Safety Monitoring for Mobile Robots, Journal Of Software Engineering In Robotics, vol.7, issue.1, pp.120-141, 2016. ,
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
Guaranteeing functional safety: design for provability and computer-aided verification, Autonomous Robots, vol.32, issue.3, pp.303-331, 2011. ,
Computational techniques for the verification of hybrid systems, Proceedings of the IEEE, vol.91, issue.7, pp.986-1001, 2003. ,
Universal executive and PLEXIL: engine and language for robust spacecraft control and operations, American Institute of Aeronautics and Astronautics Space, AIAA Space Conference, 2006. ,
Safety Assessment of Collaborative Robotics Through Automated Formal Verification, IEEE Transactions on Robotics, vol.36, issue.1, pp.42-61, 2020. ,
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. ,
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. ,
Modelling uncertainty in RoboChart using probability, RoboSoft: Software Engineering for Robotics, 2020. ,
Formal methods -Practice and experience, ACM computing surveys, vol.41, issue.4, 2009. ,
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