FM2021Top-tier venue
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
Julius Adelt, Timm Liebrenz, Paula Herber
2021Year
17Citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Related papers
- Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersAlexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. WarrenFM 2021 · 4 citations
- HHLPy: Practical Verification of Hybrid Systems Using Hoare LogicHuanhuan Sheng, Alexander Bentkamp, Bohua ZhanFM 2023 · 13 citations
- Model Checking Collision Avoidance of Nonlinear Autonomous VehiclesRong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina LundqvistFM 2021 · 5 citations
- Verification of ORM-based Controllers by Summary InferenceGeetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil et al.ICSE 2022 · 2 citations
- Credit Without Debit: Formal Verification of Banking Payment SystemsAli Hamza Malik, Muhammad Taqi RazaCCS 2026
