Cited By
View all- Julien DArdourel GCantin GDelahaye B(2024)End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE ModelsACM Transactions on Modeling and Computer Simulation10.1145/364943834:3(1-25)Online publication date: 10-Jul-2024
- Adelt JBruch SHerber PNiehage MRemke A(2023)Shielded Learning for Resilience and Performance Based on Statistical Model Checking in SimulinkBridging the Gap Between AI and Reality10.1007/978-3-031-46002-9_6(94-118)Online publication date: 23-Oct-2023
- Adelt JHerber PNiehage MRemke A(2022)Towards Safe and Resilient Hybrid Systems in the Presence of Learning and UncertaintyLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_18(299-319)Online publication date: 22-Oct-2022
- Show More Cited By