Cited By
View all- Niehage MRemke A(2024)The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal ReachabilityPerformance Evaluation Methodologies and Tools10.1007/978-3-031-48885-6_5(61-81)Online publication date: 3-Jan-2024
- Stübbe JRemke A(2024)Monte-Carlo Integration on a Union of PolytopesGraphs and Combinatorial Optimization: from Theory to Applications10.1007/978-3-031-46826-1_12(147-160)Online publication date: 23-Feb-2024
- Da Silva CSchupp SRemke A(2023)Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe ConstructionACM Transactions on Modeling and Computer Simulation10.1145/360719733:4(1-27)Online publication date: 26-Oct-2023