Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
Pilch Carina, Schupp Stefan, Remke Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Abate, Alessandro; Marin, Andrea
Buchtitel: Quantitative Evaluation of Systems. QEST 2021
Seitenbereich: 435-456
Verlag: Springer
Erscheinungsort: Cham
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 18th International Conference on Quantitative Evaluation of Systems, QEST 2021, Paris, Frankreich
Stichwörter: reachability; stochastic hybrid automata; flowpipe construction
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) |