Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
Pilch Carina, Schupp Stefan, Remke Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Abate, Alessandro; Marin, Andrea
Book title: Quantitative Evaluation of Systems. QEST 2021
Page range: 435-456
Publisher: Springer
Place of publication: Cham
Status: Published
Release year: 2021
Language in which the publication is written: English
Conference: 18th International Conference on Quantitative Evaluation of Systems, QEST 2021, Paris, France
Keywords: reachability; stochastic hybrid automata; flowpipe construction
Authors from the University of Münster
| da Silva, Carina | |
| Remke, Anne | |
| Schupp, Stefan Alexander |