Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Verification of Autonomous Neural Car Control with KeYmaera~X

Reviewed Paper In Proceedings
Author(s):Enguerrand Prebet, Samuel Teuber, and André Platzer
In:Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, Proceedings
Publisher:Springer
Series:LNCS
Volume:15728
Year:2025
Pages:
DOI:10.48550/arXiv.2504.03272

BibTeX

@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}
}