Cited By
View all- Gray AForets MSchilling CFerson SBenet L(2024)Verified propagation of imprecise probabilities in non-linear ODEsInternational Journal of Approximate Reasoning10.1016/j.ijar.2023.109044164:COnline publication date: 1-Jan-2024
- Lal RPrabhakar P(2024)Verification of Parametric Properties of Linear Discrete-time Stochastic SystemsIFAC-PapersOnLine10.1016/j.ifacol.2024.07.44758:11(195-200)Online publication date: 2024
- 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
- Show More Cited By