@inproceedings{TeuberVerSAILLE2024,
  author       = {Samuel Teuber and
                  Stefan Mitsch and
                  Andr{\'{e}} Platzer},
  editor       = {Amir Globersons and
                  Lester Mackey and
                  Danielle Belgrave and
                  Angela Fan and
                  Ulrich Paquet and
                  Jakub M. Tomczak and
                  Cheng Zhang},
  title        = {Provably Safe Neural Network Controllers via Differential Dynamic
                  Logic},
  booktitle    = {Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems},
  eventtitleaddon = {{NeurIPS}~2024},
  venue           = {Vancouver, BC, Canada},
  eventdate       = {2024-12-10/2024-12-15},
  year         = {2024},
  month = {dec},
  opturl       = {http://papers.nips.cc/paper_files/paper/2024/hash/031b5fd7d847f69ed33378a9a1117b4b-Abstract-Conference.html},
  timestamp    = {Thu, 13 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/TeuberMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}