Mohammad Hejase, Ümit Özgüner, Mathieu Barbier, Javier Ibañez-Guzmán. A Methodology for Model-Based Validation of Autonomous Vehicle Systems. In IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020. pages 2097-2103, IEEE, 2020. [doi]
Abstract is missing.