@inbook{gerwinnms2019, Author = {Sebastian Gerwinn and Eike Möhlmann and Anja Sieper}, Title = {Statistical Model Checking for Scenario-based verification of ADAS}, Year = {2019}, Pages = {67-87}, Publisher = {Springer International Publishing}, Booktitle = {Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions : Development, Testing and Verification}, Doi = {10.1007/978-3-319-91569-2_4}, type = {inbook}, Abstract = {The increasing complexity of advanced driver assistant systems requires a thorough investigation of a high-dimensional input space. To alleviate this problem, simulation-based approaches have recently been proposed. An overall safety assessment, however, requires the simulation results to relate to the safety of such systems in real-world scenes. To this end, we propose a rigorous method of specifying requirements for these systems depending on the environmental situation and generating statistical evidence for the safety of the system in the specified environmental situations. We demonstrate this process in an exemplary highway scenario involving decision and perception uncertainty.} } @COMMENT{Bibtex file generated on }