Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
da Silva, Carina; Schupp, Stefan; Remke, Anne
Research article (journal) | Peer reviewedAbstract
Details about the publication
Journal: ACM Transactions on Modeling and Computer Simulation
Volume: 33
Issue: 4
Page range: 1-27
Status: Published
Release year: 2023
Language in which the publication is written: English
DOI: 10.1145/3607197
Keywords: Stochastic hybrid automata, flowpipe construction, cumulative distribution function
Authors from the University of Münster
| da Silva, Carina | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |
| Schupp, Stefan Alexander | Professorship for practical computer science (Prof. Remke) |