Statistical Model Checking for Scenario-based veriﬁcation of ADAS - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Statistical Model Checking for Scenario-based veriﬁcation of ADAS

Statistical Model Checking for Scenario-based veriﬁcation of ADAS

Export

All authors

Sebastian Gerwinn and Eike Möhlmann and Anja Sieper

Booktitle

Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions

Publishing date

2017

Type of Publication

inproceedings

Projects

ENABLE-S3
European Initiative to Enable Validation for Highly Automated Safe and Secure Systems

Privacy Data Transparency Contact Legals