@inproceedings{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}
}
Provably Safe Neural Network Controllers via Differential Dynamic Logic
| Author(s): | Samuel Teuber, Stefan Mitsch, and André Platzer |
|---|---|
| In: | Advances in Neural Information Processing Systems |
| Publisher: | Curran Associates, Inc. |
| Year: | 2024 |
| URL: | https://doi.org/10.48550/arXiv.2402.10998 |