No current affiliations available for this person. The person is no longer active at the university.

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 Research article (journal) \| Peer reviewed \| Published
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 (eds.), Quantitative Evaluation of Systems. QEST 2021, 435-456. Cham: Springer. doi:10.1007/978-3-030-85172-9_23 Research article in edited proceedings (conference) \| Peer reviewed \| Published
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 (eds.), ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 76-106. online: EasyChair. doi:10.29007/mqzc Research article in edited proceedings (conference) \| Peer reviewed \| Published