Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches, ICAPS, 2007. ,
Model-Based Implementation of Real-Time Applications, EMSOFT, 2010. ,
, Concrete Problems in AI Safety. arXiv, 2016.
A use case in model-based robot development using AADL and ROS, ACM/IEEE Workshop on Robotics Software Engineering, 2009. ,
A Tutorial on Uppaal 4.0, 2006. ,
RTD-FinderA Tool for Compositional Verification of Real-Time Component-Based Systems, TACAS, 2016. ,
A Verifiable and Correctby-Construction Controller for Robot Functional Levels, 2011. ,
Verification and validation meet planning and scheduling, 2014. ,
The synchronous approach to reactive and realtime systems, Proceedings of the IEEE, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075115
Modeling and Verification of Time-Dependent Systems Using Time Petri Nets, Proceedings of the IEEE, 1991. ,
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
The SMACH High-Level Executive, IEEE RAM, 2010. ,
, Proceeding of the IEEE, 1991. Brugali, D. Model-Driven Software Engineering in Robotics. IEEE RAM, 2015.
Open Robot Control Software: The OROCOS Project, ICRA, 2001. ,
A Timed Extension for ALTARICA, Fundam. Inform, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00363026
Formal Methods for Robotics: RoboChart, RoboSim, and More, Formal Methods: Foundations and Applications, 2017. ,
Engineering approaches and methods to verify software in autonomous systems, IAS, 2016. ,
Platas-Integrating Planning and the Action Language Golog. KI-Künstliche Intelligenz, 2012. ,
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic, ICRC, 2018. ,
Robot task plan representation by Petri nets: modelling, identification, analysis and execution, Autonomous Robots, 2012. ,
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
, , 2015.
Combining Model Checking and Runtime Verification for Safe Robotics, 2017. ,
RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications, SIMPAR, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00995125
A Component-Based Middleware to Reconfigure Software Architectures in Real-Time, ICRC, 2017. ,
A Survey of Automated Techniques for Formal Software Verification, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst, 2008. ,
Formal verification in robotics: Why and how? In ISRR, 1996. ,
Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning, 2018. ,
Formal Verification of the Functional Layer of Robotic and Autonomous Systems, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-02080063
Formal verification of complex robotic systems on resourceconstrained platforms, FormaliSE '18, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01778960
Measurement-based real-time analysis of robotic software architectures, GenoM3 Templates: from Middleware Independence to Formal Models Synthesis. arXiv, 2016. ,
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, 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. ,
ROSRV: Runtime verification for robots, 2014. ,
Learning the behavior model of a robot, Autonomous Robots, 2010. ,
Deliberation for autonomous robots: A survey, Artificial Intelligence, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01137921
Universal executive and PLEXIL: engine and language for robust spacecraft control and operations, AIAA Space, 2006. ,
, Modeling Robotics Software Architectures with Modular Model Transformations. JOSER, 2017.
, Reinforcement Learning in Robotics: A Survey. IJRR, 2013.
Challenges in Autonomous Vehicle Testing and Validation, SAE Int. Jrnl. Transp. Safety, 2016. ,
Robotic Systems Architectures and Programming, Handbook of Robotics, 2008. ,
, Reactive, HighLevel Robot Control. IEEE RAM, 2011.
ASPiC: an Acting system based on Skill Petri net Composition, IROS, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02083310
GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, 1997. ,
From Formalised State Machines to Implementations of Robotic Controllers, Distributed Autonomous Robotic Systems, 2018. ,
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. ,
GenoM3: Building middleware-independent robotic components, ICRA, 2010. ,
Verified ROS-Based Deployment of Platform-Independent Control Systems, NASA formal methods, 2015. ,
Automatic property checking of robotic applications, IROS, 2017. ,
Improving Dependability of Industrial Transport Robots Using Model-Based Techniques, ICRA, 2016. ,
ROS: an open-source Robot Operating System, ICRA, 2009. ,
Modelling and Verification of Timed Robotic Controllers, IFM, 2017. ,
Specification-The Biggest Bottleneck in Formal Methods and Autonomy, VSTTE, 2016. ,
Robotic software systems: From code-driven to model-driven designs, ICAR, 2009. ,
, Towards Verified Artificial Intelligence. arXiv, 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, CAR, 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, 2016. ,
Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study, QRS, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01534235
, Guaranteeing functional safety: design for provability and computer-aided verification, 2011.
Model-based Programming of Intelligent Embedded Systems and Robotic Space Explorers, Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers. JOSER, 2003. ,
Model-driven safety assessment of robotic systems, IROS, 2009. ,