@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 }