, Sources of the MAPTs models and exploration algorithms, pp.2019-2029

R. Alur and D. Dill, Automata for modelling real-time systems, Proceedings ICALP'90, vol.443, pp.322-335, 1990.

J. Arcile, 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.

J. Arcile, R. Devillers, and H. Klaudel, Dynamic exploration of multi-agent systems with timed periodic tasks, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02365415

J. Arcile, R. Devillers, and H. Klaudel, 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

S. Ben-david, T. Heyman, O. Grumberg, and A. Schuster, Scalable distributed onthe-fly symbolic model checking, Formal Methods in Computer-Aided Design, pp.427-441, 2000.

B. Berthomieu, P. Ribet, and F. Vernadat, 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.

B. Berthomieu and F. Vernadat, State class constructions for branching analysis of time Petri nets, TACAS'03, pp.442-457, 2003.

G. Bhat, R. Cleaveland, and O. Grumberg, Efficient on-the-fly model checking for CTL, Proceedings of LiCS, pp.388-397, 1995.

A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu, Bounded model checking, Advances in computers, vol.58, issue.11, pp.117-148, 2003.

E. Clarke, A. Biere, R. Raimi, and Y. Zhu, Bounded model checking using satisfiability solving, Formal Methods in System Design, vol.19, issue.1, pp.7-34, 2001.

E. M. Clarke, O. Grumberg, M. Minea, and D. Peled, State space reduction using partial order reduction, International Journal on Software Tools for Technology Transfer, vol.2, pp.279-287, 1999.

M. Foughali, B. Berthomieu, S. Zilio, F. Ingrand, and A. Mallet, 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

A. Furda and L. Vlacic, 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.

S. Glaser, B. Vanholme, S. Mammar, D. Gruyer, and L. Nouveliere, 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

K. Jensen, Coloured Petri Nets -Basic Concepts, Analysis Methods and Practical Use, vol.1, 1992.

M. Kamali, L. A. Dennis, O. Mcaree, M. Fisher, and S. M. Veres, Formal verification of autonomous vehicle platooning, Special issue on Automated Verification of Critical Systems, vol.148, pp.88-106, 2015.

C. Katrakazas, M. Quddus, W. Chen, and L. Deka, 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.

Y. Kuwata, J. Teo, G. Fiore, S. Karaman, E. Frazzoli et al., Real-time motion planning with applications to autonomous urban driving, IEEE Transactions on Control Systems Technology, vol.17, issue.5, pp.1105-1118, 2009.

M. Likhachev and D. Ferguson, Planning long dynamically feasible maneuvers for autonomous vehicles, The International Journal of Robotics Research, vol.28, issue.8, pp.933-945, 2009.

D. Lime, O. H. Roux, C. Seidner, L. Traonouez, and . Romeo, A parametric model-checker for Petri nets with stopwatches, TACAS, pp.54-57, 2009.

M. Kelly, H. Abbas, and R. Mangharam, APEX : Autonomous vehicle plan verification and execution, SAE World Congress, 2016.

W. Penczek and A. Lomuscio, Verifying epistemic properties of multi-agent systems via model checking, Fundamenta Informaticae, vol.2, issue.52, pp.167-185, 2003.

J. L. Peterson, Petri Net Theory and the Modelling of Systems, 1981.

F. Pommereau, ZINC: a compiler for "any language"-coloured Petri nets, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01941485

M. M. Quottrup, T. Bak, and R. I. Zamanabadi, Multi-robot planning : a timed automata approach, IEEE International Conference on Robotics and Automation, vol.5, pp.4417-4422, 2004.

, Uppaal

F. Vernadat, P. Azéma, and F. Michel, Covering step graph, Application and Theory of Petri Nets, pp.516-535, 1996.