Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles’ Behaviors: A Case Study
Crossref DOI link: https://doi.org/10.1007/978-3-030-01713-2_21
Published Online: 2018-10-14
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arcile, Johan
Sobieraj, Jérémy
Klaudel, Hanna
Hutzler, Guillaume
Text and Data Mining valid from 2018-01-01