@INPROCEEDINGS{PrebetHighwayCarControl2025,
  author       = {Enguerrand Prebet and
                  Samuel Teuber and
                  Andr{\'{e}} Platzer},
  editor       = {Michael Leuschel and
                  Fuyuki Ishikawa},
  title        = {Verification of Autonomous Neural Car Control with KeYmaera {X}},
  booktitle       = {11th International Conference on Rigorous State-Based Methods},
  eventtitleaddon = {{ABZ}~2025},
  venue           = {D{\"{u}}sseldorf, Germany},
  eventdate       = {2025-06-10/2025-06-13},
  series       = {LNCS},
  volume       = {15728},
  pages        = {288--307},
  publisher    = {Springer},
  year         = {2025},
  month = {jun},
  opturl       = {https://doi.org/10.1007/978-3-031-94533-5_17},
  doi          = {10.1007/978-3-031-94533-5_17},
}