, Sources of the MAPTs models and exploration algorithms, pp.2019-2029
Automata for modelling real-time systems, Proceedings ICALP'90, vol.443, pp.322-335, 1990. ,
Conception, modélisation et vérification formelle d'un système temps-réel d'agents coopératifs : application aux véhicules autonomes communicants, 2019. ,
Dynamic exploration of multi-agent systems with timed periodic tasks, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02365415
Verifcar: a framework for modeling and model checking communicating autonomous vehicles, Autonomous Agents and Multi-Agent Systems, vol.33, issue.3, pp.353-381, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02133680
Scalable distributed onthe-fly symbolic model checking, Formal Methods in Computer-Aided Design, pp.427-441, 2000. ,
The tool TINA -construction of abstract state spaces for Petri nets and time Petri nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004. ,
State class constructions for branching analysis of time Petri nets, TACAS'03, pp.442-457, 2003. ,
Efficient on-the-fly model checking for CTL, Proceedings of LiCS, pp.388-397, 1995. ,
Bounded model checking, Advances in computers, vol.58, issue.11, pp.117-148, 2003. ,
Bounded model checking using satisfiability solving, Formal Methods in System Design, vol.19, issue.1, pp.7-34, 2001. ,
State space reduction using partial order reduction, International Journal on Software Tools for Technology Transfer, vol.2, pp.279-287, 1999. ,
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots, International Conference on Formal Engineering Methods (ICFEM 2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01346080
Enabling safe autonomous driving in real-world city traffic using multiple criteria decision making, IEEE Intelligent Transportation Systems Magazine, vol.3, issue.1, pp.4-17, 2011. ,
Maneuverbased trajectory planning for highly autonomous vehicles on real road with traffic and driver interaction, IEEE Transactions on Intelligent Transportation Systems, vol.11, issue.3, pp.589-606, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00653650
Coloured Petri Nets -Basic Concepts, Analysis Methods and Practical Use, vol.1, 1992. ,
Formal verification of autonomous vehicle platooning, Special issue on Automated Verification of Critical Systems, vol.148, pp.88-106, 2015. ,
Real-time motion planning methods for autonomous on-road driving: State-of-the-art and future research directions, Transportation Research Part C: Emerging Technologies, vol.60, pp.416-442, 2015. ,
Real-time motion planning with applications to autonomous urban driving, IEEE Transactions on Control Systems Technology, vol.17, issue.5, pp.1105-1118, 2009. ,
Planning long dynamically feasible maneuvers for autonomous vehicles, The International Journal of Robotics Research, vol.28, issue.8, pp.933-945, 2009. ,
A parametric model-checker for Petri nets with stopwatches, TACAS, pp.54-57, 2009. ,
APEX : Autonomous vehicle plan verification and execution, SAE World Congress, 2016. ,
Verifying epistemic properties of multi-agent systems via model checking, Fundamenta Informaticae, vol.2, issue.52, pp.167-185, 2003. ,
Petri Net Theory and the Modelling of Systems, 1981. ,
ZINC: a compiler for "any language"-coloured Petri nets, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01941485
Multi-robot planning : a timed automata approach, IEEE International Conference on Robotics and Automation, vol.5, pp.4417-4422, 2004. ,
, Uppaal
Covering step graph, Application and Theory of Petri Nets, pp.516-535, 1996. ,