J. Arcile, J. Sobieraj, H. Klaudel, and G. Hutzler, Combination of simulation and model-checking for the analysis of autonomous vehicles' behaviours : a case study, 15th EUropean Conference on Multi-Agent Systems, 2018.

C. Baier and J. Katoen, Principles Of Model Checking, vol.950, 2008.

M. Beer, M. Inverno, N. Jennings, M. Luck, M. Preist et al., Negotiation in multi-agent systems, The Knowledge Engineering Review, vol.14, issue.3, pp.285-289, 1999.

A. Doniec, R. Mandiau, S. Piechowiak, and S. Espié, A behavioral multi-agent model for road traffic simulation, Engineering Applications of Artificial Intelligence, vol.21, issue.8, pp.1443-1454, 2008.

P. G. Gipps, A behavioural car-following model for computer simulation. Transportation, Research Part B, vol.15, issue.2, pp.105-111, 1981.

A. Kesting, M. Treiber, and D. Helbing, General Lane-Changing Model MOBIL for Car-Following Models, Transportation Research Record : Journal of Transportation Research Board, issue.1, pp.86-94, 1999.

Y. Sugiyama, M. Bando, K. Hasebe, . Nakayama, and . Shibata, Dynamical model of traffic congestion and numerical simulation, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics, vol.51, pp.1035-1042, 1995.

A. Newell and H. A. Simon, Computer simulation of human thinking, Science, vol.134, issue.3495, pp.2011-2017, 1961.

P. Taillandier, A. Duc, E. Vo, A. Amouroux, and . Drogoul, GAMA : A simulation platform that integrates geographical information data, agent-based modeling and multi-scale control, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol.7057, pp.242-258, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688318

M. Treiber, A. Hennecke, and D. Helbing, Congested traffic states in empirical observations and microscopic simulations, Physical Review E -Statistical Physics, Plasmas, Fluids, and Related Interdisciplinary Topics, vol.62, pp.1805-1824, 2000.

M. Treiber and A. Kesting, Elementary Car-Following Models, Traffic Flow Dynamics, pp.157-180, 2013.

M. Treiber and A. Kesting, Traffic Flow Dynamics, 2013.

M. Treiber, A. Kesting, and D. Helbing, Delays, inaccuracies and anticipation in microscopic traffic models, Physica A : Statistical Mechanics and its Applications, vol.360, issue.1, pp.71-88, 2006.

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