[Lecture Notes in Control and Information Sciences] Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions Volume 476 || Statistical Model Checking for Scenario-Based Verification of ADAS
Waschl, Harald, Kolmanovsky, Ilya, Willems, FrankVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-319-91569-2_4
File:
PDF, 4.59 MB
english, 2019