Combination of simulation and model-checking for the analysis of autonomous vehicles' behaviours : a case study, 15th EUropean Conference on Multi-Agent Systems, 2018. ,
Principles Of Model Checking, vol.950, 2008. ,
Negotiation in multi-agent systems, The Knowledge Engineering Review, vol.14, issue.3, pp.285-289, 1999. ,
A behavioral multi-agent model for road traffic simulation, Engineering Applications of Artificial Intelligence, vol.21, issue.8, pp.1443-1454, 2008. ,
A behavioural car-following model for computer simulation. Transportation, Research Part B, vol.15, issue.2, pp.105-111, 1981. ,
General Lane-Changing Model MOBIL for Car-Following Models, Transportation Research Record : Journal of Transportation Research Board, issue.1, pp.86-94, 1999. ,
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. ,
Computer simulation of human thinking, Science, vol.134, issue.3495, pp.2011-2017, 1961. ,
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
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. ,
Elementary Car-Following Models, Traffic Flow Dynamics, pp.157-180, 2013. ,
Traffic Flow Dynamics, 2013. ,
Delays, inaccuracies and anticipation in microscopic traffic models, Physica A : Statistical Mechanics and its Applications, vol.360, issue.1, pp.71-88, 2006. ,
A comparison of headway and time to collision as safety indicators, Accident Analysis & Prevention, vol.35, issue.3, pp.427-433, 2003. ,