An Architecture for Autonomy, The International Journal of Robotics Research, vol.17, issue.4, 1998. ,
DOI : 10.1177/027836499801700402
URL : https://hal.archives-ouvertes.fr/hal-00123273
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches, ICAPS, 2007. ,
Conformant planning via symbolic model checking and heuristic search, Artificial Intelligence, vol.159, issue.1-2, 2004. ,
DOI : 10.1016/j.artint.2004.05.003
URL : http://doi.org/10.1016/j.artint.2004.05.003
GOLEX?bridging the gap between logic (GOLOG) and a real robot, KI Advances in Artificial Intelligence, 1998. ,
Automating Model Checking for Autonomous Systems, AAAI Spring Symposium on Real-Time Autonomous Systems, 2000. ,
Model-Driven Software Engineering in Robotics, IEEE RAM, 2015. ,
Robotics Middleware: A Comprehensive Literature Survey and Attribute-Based Bibliography, Journal of Robotics, vol.17, issue.4, 2012. ,
DOI : 10.1109/TSMCC.2004.826285
Middleware for Robotics: A Survey, 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008. ,
DOI : 10.1109/RAMECH.2008.4681485
Formal Verification in Robotics: Why and How?, 1996. ,
DOI : 10.1007/978-1-4471-1021-7_26
Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, 2002. ,
DOI : 10.1016/S1571-0661(05)80435-9
Formal Construction and Verification of Home Service Robots: A Case Study, Automated Technology for Verification and Analysis, 2005. ,
DOI : 10.1007/11562948_32
Verification of Autonomous Systems for Space Applications, 2006 IEEE Aerospace Conference, 2006. ,
DOI : 10.1109/AERO.2006.1656029
Rigorous design of robot software: A formal component-based approach, Robotics and Autonomous Systems, vol.60, issue.12, 2012. ,
DOI : 10.1016/j.robot.2012.09.005
Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, 1976. ,
DOI : 10.1109/TCOM.1976.1093424
A theory of timed automata, Theoretical computer science, pp.183-235, 1994. ,
Comparison of the Expressiveness of Timed Automata and Time Petri Nets, International Conference on Formal Modeling and Analysis of Timed Systems, pp.211-225, 2005. ,
DOI : 10.1007/11603009_17
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, International Conference on Formal Modeling and Analysis of Timed Systems, pp.82-97, 2006. ,
DOI : 10.1007/11867340_7
Model Checking of Time Petri Nets Using the State Class Timed Automaton, Discrete Event Dynamic Systems, pp.179-205, 2006. ,
DOI : 10.1007/s10626-006-8133-9
URL : https://hal.archives-ouvertes.fr/hal-00488957
Structural translation from Time Petri Nets to Timed Automata, Journal of Systems and Software, vol.79, issue.10, pp.1456-1468, 2006. ,
DOI : 10.1016/j.jss.2005.12.021
URL : https://hal.archives-ouvertes.fr/inria-00363025
GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, 2010. ,
DOI : 10.1109/ROBOT.2010.5509539
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.6615
Decisional autonomy of planetary rovers, Journal of Field Robotics, vol.2, issue.7, 2007. ,
DOI : 10.1002/rob.20206
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots, ICFEM, 2016. ,
DOI : 10.1007/978-3-319-47846-3_24
URL : https://hal.archives-ouvertes.fr/hal-01346080
Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.394-406, 1992. ,
DOI : 10.1109/LICS.1992.185551
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.7422
Timed automata, International Conference on Computer Aided Verification, pp.8-22, 1999. ,
Modeling Urgency in Timed Systems, Compositionality: the significant difference, pp.103-129, 1998. ,
DOI : 10.1007/3-540-49213-5_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.8988
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Compositional Verification for Timed Systems Based on Automatic Invariant Generation, Logical Methods in Computer Science, vol.11, issue.3, 2015. ,
DOI : 10.2168/LMCS-11(3:15)2015
URL : http://arxiv.org/abs/1506.04879
D-Finder: A Tool for Compositional Deadlock Detection and Verification, International Conference on Computer Aided Verification, pp.614-619, 2009. ,
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550
Time petri nets: A primer introduction, Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, 1999. ,
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, ERTSS, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004. ,
DOI : 10.1137/0216062
An enumerative approach for analyzing time Petri nets, IFIP Cong. Series, vol.9, pp.41-46, 1983. ,
Modeling and verification of time dependent systems using time Petri nets, IEEE transactions on software engineering, pp.259-273, 1991. ,
DOI : 10.1109/32.75415
Efficient State Space Search for Time Petri Nets, Electronic Notes in Theoretical Computer Science, vol.18, pp.113-133, 1998. ,
DOI : 10.1016/S1571-0661(05)80254-3
URL : http://doi.org/10.1016/s1571-0661(05)80254-3
Analysis of asynchronous concurrent systems by petri nets, DTIC Document, Tech. Rep, 1974. ,
Model Checking Timed Systems with Urgencies, International Symposium on Automated Technology for Verification and Analysis, pp.67-81, 2006. ,
DOI : 10.1007/11901914_8
Incremental Generation of Linear Invariants for Component-Based Systems, 2013 13th International Conference on Application of Concurrency to System Design, pp.80-89, 2013. ,
DOI : 10.1109/ACSD.2013.11
URL : https://hal.archives-ouvertes.fr/hal-00878738
Real-Time Specification Patterns and Tools, International Workshop on Formal Methods for Industrial Critical Systems, pp.1-15, 2012. ,
DOI : 10.1007/978-3-642-32469-7_1
URL : https://hal.archives-ouvertes.fr/hal-00782649
Efficient and user-friendly verification, IEEE Transactions on Computers, vol.51, issue.1, pp.61-83, 2002. ,
DOI : 10.1109/12.980017
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata, Electronic Proceedings in Theoretical Computer Science, vol.85, 2012. ,
DOI : 10.4204/EPTCS.85.1
URL : http://arxiv.org/abs/1207.1272