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 reviewed

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

Keywords: Stochastic hybrid automata, flowpipe construction, cumulative distribution function

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)