Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction

da Silva, Carina; Schupp, Stefan; Remke, Anne

Research article (journal)

Publisher:
Release year: 2023
Publishing company: Springer
Language in which the publication is written: English