Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Verification of Autonomous Neural Car Control with KeYmaera~X

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Enguerrand Prebet, Samuel Teuber und André Platzer
In:Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, Proceedings
Verleger:Springer
Reihe:LNCS
Band:15728
Jahr:2025
Seiten:
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}
}