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. ,
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. ,
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.
A comparison of headway and time to collision as safety indicators, Accident Analysis & Prevention, vol.35, issue.3, pp.427-433, 2003. ,
Extended time-to-collision measures for road traffic safety assessment, Accident Analysis & Prevention, vol.33, issue.1, pp.89-97, 2001. ,
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. ,
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. ,
A behavioural car-following model for computer simulation, Transportation Research Part B, vol.15, issue.2, pp.105-111, 1981. ,
Elementary Car-Following Models, Traffic Flow Dynamics, pp.157-180, 2013. ,
Dynamic trajectory planning for vehicle autonomous driving, Proceedings -2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013, pp.4161-4166, 2013. ,
Reliability Analysis of DSRC Wireless Communication for Vehicle Safety Applications, IEEE Intelligent Transportation Systems Conference (ITSC), pp.355-362, 2006. ,
, Traffic Flow Dynamics, 2013.
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. ,
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, vol.222, 1999. ,
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
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
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer (STTT), vol.1, pp.134-152, 1997. ,
sometimes" and "not never" revisited: on branching versus linear time temporal logic, J. ACM, vol.1, issue.33, pp.151-178, 1986. ,