@incollectionpuch2018, Author = {Stefan Puch and Martin Fränzle and Sebastian Gerwinn}, Title = {Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events}, Year = {2018}, Pages = {305-321}, Publisher = {Springer International Publishing}, Booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Verification}, Doi = {10.1007/978-3-030-03421-4_20}, type = {incollection} @COMMENTBibtex file generated on