Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren
2021年份
4被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via ApproximationsMeng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao 等DAC 2021 · 被引用 14 次
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 被引用 17 次
- The Octatope Abstract Domain for Verification of Neural NetworksStanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi 等FM 2023 · 被引用 5 次
- Model Checking Collision Avoidance of Nonlinear Autonomous VehiclesRong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina LundqvistFM 2021 · 被引用 5 次
- Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety GuaranteesXinhang Ma, Junlin Wu, Hussein Sibai, Yiannis Kantaros 等AAAI 2026 · 被引用 1 次
