Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4), 1-27. doi:10.1145/3607197 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction Pilch Carina, Schupp Stefan, Remke Anne (2021) In: Abate, Alessandro; Marin, Andrea (Hrsg.), Quantitative Evaluation of Systems. QEST 2021, 435-456. Cham: Springer. doi:10.1007/978-3-030-85172-9_23 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
ARCH-COMP20 Category Report: Stochastic Models Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, Paolo (2020) In: Frehse, Goran; Althoff, Matthias (Hrsg.), ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 76-106. online: EasyChair. doi:10.29007/mqzc Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht