University of Münster
CRIS@UM
DE | EN

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 reviewed

Details 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
DOI: 10.1007/978-3-030-85172-9_23
Keywords: reachability; stochastic hybrid automata; flowpipe construction

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)