Rigorous design of robot software: A formal component-based approach, Robotics and Autonomous Systems, vol.60, issue.12, pp.1563-1578, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01980036
An architecture for autonomy, The International Journal of Robotics Research, vol.17, issue.4, pp.315-337, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-00123273
A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994. ,
Rigorous component-based system design using the bip framework, IEEE software, vol.28, issue.3, pp.41-48, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00722395
A tutorial on uppaal, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004. ,
The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, pp.1270-1282, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075115
Fiacre: an intermediate language for model verification in the topcased environment, European Congress on Embedded Real-Time Software and Systems, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
Modeling urgency in timed systems, International Symposium on Compositionality: the significant difference, pp.103-129, 1998. ,
The ESTEREL Language, Proceeding of the IEEE, vol.79, pp.1293-1304, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075075
Open robot control software: the OROCOS project, International Conference on Robotics and Automation, pp.2523-2528, 2001. ,
Toward a correct-and-scalable verification of concurrent robotic systems: Insights on formalisms and tools, IEEE Application of Concurrency to System Design, pp.29-38, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01515012
Formal verification of complex robotic systems on resource-constrained platforms, International Conference on Formal Methods in Software Engineering, pp.2-9, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01778960
Model checking real-time properties on the functional layer of autonomous robots, International Conference on Formal Engineering Methods, pp.383-399, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01346080
Fdr3a modern refinement checker for csp, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.187-201, 2014. ,
Formal verification of ros-based robotic applications using timed-automata, International Workshop on Formal Methods in Software Engineering (FormaliSE), p.2017 ,
Testing, verification and improvements of timeliness in ros processes, Conference Towards Autonomous Robotic Systems, pp.146-157, 2016. ,
Timed transition systems, Workshop/School/Symposium of the REX Project, pp.226-251, 1991. ,
Symbolic model checking for real-time systems, Information and computation, vol.111, issue.2, pp.193-244, 1994. ,
Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01137921
Decisional autonomy of planetary rovers, Journal of Field Robotics, vol.24, issue.7, pp.559-580, 2007. ,
Formal Construction and Verification of Home Service Robots: A Case Study, International Symposium on Automated Technology for Verification and Analysis, pp.429-443, 2005. ,
Prism 4.0: Verification of probabilistic real-time systems, International Conference on Computer Aided Verification, pp.585-591, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
GenoM3: Building middleware-independent robotic components, International Conference on Robotics and Automation, pp.4627-4632, 2010. ,
Automatic property checking of robotic applications, International Conference on Intelligent Robots and Systems, pp.3869-3876, 2017. ,
Robochart: a state-machine notation for modelling and verification of mobile and autonomous robots, 2016. ,
Verification and validation of autonomy software at nasa, 2000. ,
ROS: an open-source Robot Operating System, ICRA workshop on open source software, 2009. ,
Understanding concurrent systems, 2010. ,
Orccad, a framework for safe robot control design and implementation, National workshop on control architectures of robots: software approaches and issues, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00385258
Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.3-10, 2002. ,
Formal verification of automotive embedded software, 6th Conference on Formal Methods in Software Engineering, pp.84-87, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01768687
The claraty architecture for robotic autonomy, Proccedings of IEEE Aerospace Conference, pp.1-121, 2001. ,
Formal methods: Practice and experience, ACM computing surveys, vol.41, issue.4, p.19, 2009. ,