@misc{indiciaecb167885c963,
  title = {Verification of Autonomous Neural Car Control with KeYmaera X},
  author = {Enguerrand Prebet and Samuel Teuber and André Platzer},
  year = {2025},
  doi = {10.1007/978-3-031-94533-5\_17},
  url = {https://arxiv.org/abs/2504.03272},
  note = {Source identifier: 2504.03272}
}