Road Traffic Models for Validation of Autonomous Vehicle Functionalities. (Modèles de trafic routier pour la validation de fonctionnalités de véhicule autonome). - Lu Zhao 004 (2021)