Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles

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

• Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle ModelsChuchu Fan, Kristina Miller, Sayan MitraCAV 2020 · 36 citations
• Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersAlexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. WarrenFM 2021 · 4 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
• Investigating Planning Attacks against End-to-End Autonomous DrivingRuoyu Song, Chenyi Wang, Raymond Muller, Jean-Philippe Monteuuis et al.CCS 2026
• Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-CheckingRadu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou et al.FM 2026