University of Münster
CRIS@UM
DE | EN

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 reviewed

Details about the publication

Publisher: Dutle, Aaron; Humphrey, Laura; Titolo, Laura
Book title: NASA Formal Methods
Page range: 254-274
Publishing company: 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
DOI: https://doi.org/10.1007/978-3-031-93706-4_15
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)