@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