Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
2021年份
5被引次数
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle ModelsChuchu Fan, Kristina Miller, Sayan MitraCAV 2020 · 被引用 36 次
- Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersAlexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. WarrenFM 2021 · 被引用 4 次
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 被引用 17 次
- Investigating Planning Attacks against End-to-End Autonomous DrivingRuoyu Song, Chenyi Wang, Raymond Muller, Jean-Philippe Monteuuis 等CCS 2026
- Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-CheckingRadu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou 等FM 2026
