@INPROCEEDINGS{PrebetHighwayCarControl2025,
  author = {Prebet, Enguerrand and
               Teuber, Samuel and
               Platzer, Andr{\'{e}}},
  editor    = {Leuschel, Michael and
               Ishikawa, Fuyuki},
  title     = {Verification of Autonomous Neural Car Control with {KeYmaera~X}},
  booktitle = {Rigorous State-Based Methods - 11th International Conference, {ABZ}
               2025, D\"usseldorf, Germany, Proceedings},
  series    = {LNCS},
  volume    = {15728},
  pages     = {},
  publisher = {Springer},
  year      = {2025},
  doi       = {10.48550/arXiv.2504.03272},
}