Verification of autonomous neural car control with KeYmaera X

@INPROCEEDINGS{DBLP:conf/asm/PrebetTP25,
  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 = {Rigorous State-Based Methods - 11th International Conference, {ABZ}
               2025, D{\"{u}}sseldorf, Germany, June 10-13, 2025, Proceedings},
  series    = {LNCS},
  volume    = {15728},
  pages     = {288--307},
  publisher = {Springer},
  year      = {2025},
  crossref  = {DBLP:conf/zum/2025},
  doi       = {10.1007/978-3-031-94533-5\_17},
  biburl    = {https://dblp.org/rec/conf/asm/PrebetTP25.bib},
}```