@article{TeuberVerSAILLE2024,
	title        = {Provably Safe Neural Network Controllers via Differential Dynamic Logic},
	author       = {Teuber, Samuel and Mitsch, Stefan and Platzer, Andr\'{e}},
	year         = {2024},
	booktitle    = {Advances in Neural Information Processing Systems},
	publisher    = {Curran Associates, Inc.},
	editor       = {A. Globerson and L. Mackey and A. Fan and C. Zhang and D. Belgrave and J. Tomczak and U. Paquet},
  url={https://doi.org/10.48550/arXiv.2402.10998}
}