Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
Julius Adelt, Timm Liebrenz, Paula Herber
2021年份
17被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersAlexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. WarrenFM 2021 · 被引用 4 次
- HHLPy: Practical Verification of Hybrid Systems Using Hoare LogicHuanhuan Sheng, Alexander Bentkamp, Bohua ZhanFM 2023 · 被引用 13 次
- Model Checking Collision Avoidance of Nonlinear Autonomous VehiclesRong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina LundqvistFM 2021 · 被引用 5 次
- Verification of ORM-based Controllers by Summary InferenceGeetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil 等ICSE 2022 · 被引用 2 次
- Credit Without Debit: Formal Verification of Banking Payment SystemsAli Hamza Malik, Muhammad Taqi RazaCCS 2026
