Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
da Silva, Carina; Schupp, Stefan; Remke, Anne
Forschungsartikel (Zeitschrift) | Peer reviewedZusammenfassung
Details zur Publikation
Fachzeitschrift: ACM Transactions on Modeling and Computer Simulation
Jahrgang / Bandnr. / Volume: 33
Ausgabe / Heftnr. / Issue: 4
Seitenbereich: 1-27
Status: Veröffentlicht
Veröffentlichungsjahr: 2023
Sprache, in der die Publikation verfasst ist: Englisch
DOI: 10.1145/3607197
Stichwörter: Stochastic hybrid automata, flowpipe construction, cumulative distribution function
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |
| Schupp, Stefan Alexander | Professur für Praktische Informatik (Prof. Remke) |