Enguerrand Prebet Samuel Teuber André Platzer Verification of Autonomous Neural Car Control with KeYmaera X. 288-307 2025 ABZ https://doi.org/10.1007/978-3-031-94533-5_17 conf/zum/2025 db/conf/zum/abz2025.html#PrebetTP25 streams/conf/zum