FM2021Top-tier venue
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren
2021Year
4Citations
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.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get bfb3a86d-c54e-4d89-bd79-a46a224e3a24Related papers
- Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via ApproximationsMeng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao et al.DAC 2021 · 14 citations
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 17 citations
- The Octatope Abstract Domain for Verification of Neural NetworksStanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi et al.FM 2023 · 5 citations
- Model Checking Collision Avoidance of Nonlinear Autonomous VehiclesRong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina LundqvistFM 2021 · 5 citations
- Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety GuaranteesXinhang Ma, Junlin Wu, Hussein Sibai, Yiannis Kantaros et al.AAAI 2026 · 1 citation
