Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Dutle, Aaron; Humphrey, Laura; Titolo, Laura
Book title: NASA Formal Methods
Page range: 254-274
Publisher: Springer
Place of publication: Cham
Title of series: Lecture Notes in Computer Science (LNCS)
Volume of series: 15682
Status: Published
Release year: 2025
Language in which the publication is written: English
Conference: 17th NASA Formal Methods Symposium, NFM 2025, Williamsburg, VA, United States
Keywords: hybrid Petri nets; simulation
Authors from the University of Münster
| da Silva, Carina | Professorship for practical computer science (Prof. Remke) |
| Niehage, Mathis Friedrich | Professorship for Practical Computer Science (Prof. Linsen) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |