TY  - RPRT
TI  - Scalable synthesis of safety certificates from data with application to learning-based control
AU  - Kim P. Wabersich
AU  - Melanie N. Zeilinger
PY  - 2020
UR  - https://arxiv.org/abs/1711.11417
ID  - 1711.11417
ER  -