B. Y. Ekren and S. S. Heragu, Simulation based performance analysis of an autonomous vehicle storage and retrieval system, Simulation Modelling Practice and Theory, vol.19, issue.7, pp.1640-1650, 2011.

H. Dia, An agent-based approach to modelling driver route choice behaviour under the influence of real-time information, Transportation Research Part C: Emerging Technologies, vol.10, issue.5, pp.331-349, 2002.

T. Shamir, How should an autonomous vehicle overtake a slower moving vehicle: design and analysis of an optimal trajectory, IEEE Transactions on Automatic Control, vol.49, pp.607-610, 2004.

, Hybrid-state driver/vehicle modelling, estimation and prediction, 13th International IEEE Conference on Intelligent Transportation Systems, pp.806-811, 2010.

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

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

J. Van-lint, S. Hoogendoorn, and H. Van-zuylen, Accurate freeway travel time prediction with state-space neural networks under missing data, Transportation Research Part C: Emerging Technologies, vol.13, issue.5, pp.347-369, 2005.

G. Chang and H. S. Mahmassani, Travel time prediction and departure time adjustment behavior dynamics in a congested traffic system, Transportation Research Part B: Methodological, vol.22, issue.3, pp.217-232, 1988.

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

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

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

F. Bai and H. Krishnan, Reliability Analysis of DSRC Wireless Communication for Vehicle Safety Applications, IEEE Intelligent Transportation Systems Conference (ITSC), pp.355-362, 2006.

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

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

J. Ferber, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, vol.222, 1999.

P. Taillandier, D. A. Vo, E. Amouroux, and A. 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

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

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer (STTT), vol.1, pp.134-152, 1997.

E. A. Emerson and J. Y. Halpern, sometimes" and "not never" revisited: on branching versus linear time temporal logic, J. ACM, vol.1, issue.33, pp.151-178, 1986.