Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Dutle, Aaron; Humphrey, Laura; Titolo, Laura
Buchtitel: NASA Formal Methods
Seitenbereich: 254-274
Verlag: Springer
Erscheinungsort: Cham
Titel der Reihe: Lecture Notes in Computer Science (LNCS)
Nr. in Reihe: 15682
Status: Veröffentlicht
Veröffentlichungsjahr: 2025
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 17th NASA Formal Methods Symposium, NFM 2025, Williamsburg, VA, Vereinigte Staaten
Stichwörter: hybrid Petri nets; simulation
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Linsen) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |