TY  - RPRT
TI  - Verification of Autonomous Neural Car Control with KeYmaera X
AU  - Enguerrand Prebet
AU  - Samuel Teuber
AU  - André Platzer
PY  - 2025
DO  - 10.1007/978-3-031-94533-5_17
UR  - https://arxiv.org/abs/2504.03272
ID  - 2504.03272
ER  -