Statistical Model Checking for Scenario-based verification of ADAS

BIB
Sebastian Gerwinn and Eike Möhlmann and Anja Sieper
Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions
2017
inproceedings
ENABLE-S3
European Initiative to Enable Validation for Highly Automated Safe and Secure Systems