@inproceedings{workshop/dtvadas/gerwinnms2017, Author = {Sebastian Gerwinn and Eike Möhlmann and Anja Sieper}, Title = {Statistical Model Checking for Scenario-based verification of ADAS}, Year = {2017}, Booktitle = {Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions}, type = {inproceedings} } @COMMENT{Bibtex file generated on }