R. Alur, C. Courcoubetis, and D. Dill, Model checking in dense real-time. Information and Computation, vol.104, pp.2-34, 1993.

R. Alur and D. Dill, Automata for modelling real-time systems, Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP'90), vol.443, pp.322-335, 1990.

R. Alur and D. Dill, A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994.

J. Arcile, R. Devillers, H. Klaudel, W. Klaudel, and B. Wo?na-szcze?niak, Modeling and checking robustness of communicating autonomous vehicles, Distributed Computing and Artificial Intelligence, 14th International Conference, pp.173-180, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01567627

J. Arcile, J. Sobieraj, H. Klaudel, and G. Hutzler, Combination of simulation and modelchecking for the analysis of autonomous vehicles' behaviors: a case study, Multi-Agent Systems and Agreement Technologies, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01918518

F. Bai and H. Krishnan, Reliability analysis of DSRC wireless communication for vehicle safety applications, IEEE Intelligent Transportation Systems Conference, pp.355-362, 2006.

K. Bilstrup, E. Uhlemann, E. G. Strom, and U. Bilstrup, Evaluation of the ieee 802.11p mac method for vehicle-to-vehicle communication, IEEE Vehicular Technology Conference, pp.1-5, 2008.

S. Biswas, R. Tatchikou, and F. Dion, Vehicle-to-vehicle wireless communication protocols for enhancing highway traffic safety, IEEE Communications Magazine, vol.44, issue.1, pp.74-82, 2006.

R. J. Blokpoel, D. Krajzewicz, and R. Nippold, Unambiguous metrics for evaluation of traffic networks, IEEE Intelligent Transportation Systems Conference, pp.1277-1282, 2010.

E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

R. Devillers and H. Klaudel, Abstraction strategies for computing travelling or looping durations in networks of timed automata, 14th International Conference, vol.9884, pp.140-156, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01364726

E. and A. Emerson, Handbook of theoretical computer science (vol. b). chapter Temporal and Modal Logic, pp.995-1072, 1990.

C. Urmson, Journal of Field Robotics Special Issue on the 2007 DARPA Urban Challenge, Part I, vol.25, pp.425-466, 2008.

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, Maneuver-based 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. D. Stanley, P. Sorensen, C. Samaras, J. M. Anderson, N. Kalra et al., Autonomous Vehicle Technology. A Guide for Policymakers, Research Reports. RAND Corporation, 2016.

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.

S. Kong, S. Gao, W. Chen, and E. Clarke, dreach: ? -reachability analysis for hybrid systems, Tools and Algorithms for the Construction and Analysis of Systems, pp.200-205, 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.

J. Levinson and S. Thrun, Robust vehicle localization in urban environments using probabilistic maps, IEEE International Conference on Robotics and Automation, pp.4372-4378, 2010.

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.

M. Minderhoud and P. Bovy, Extended time-to-collision measures for road traffic safety assessment, Accident Analysis & Prevention, vol.33, issue.1, pp.89-97, 2001.

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

A. Platzer and J. Quesel, European train control system: A case study in formal verification, Formal Methods and Software Engineering, pp.246-265, 2009.

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.

M. Treiber and A. Kesting, Trajectory and Floating-Car Data, pp.7-12, 2013.

, Uppaal

K. Vogel, A comparison of headway and time to collision as safety indicators, Accident Analysis & Prevention, vol.35, issue.3, pp.427-433, 2003.

T. L. Willke, P. Tientrakool, and N. F. Maxemchuk, A survey of inter-vehicle communication protocols and their applications, IEEE Communications Surveys Tutorials, vol.11, issue.2, pp.3-20, 2009.

M. Wooldridge, An introduction to multi-agent systems -Second Edition, 2009.

S. Zhang, W. Deng, Q. Zhao, H. Sun, and B. Litkouhi, Dynamic trajectory planning for vehicle autonomous driving, IEEE International Conference on Systems, Man, and Cybernetics, pp.4161-4166, 2013.