Scalable synthesis of safety certificates from data with application to learning-based control.

Kim Peter Wabersich Melanie N. Zeilinger Scalable synthesis of safety certificates from data with application to learning-based control. 2017 abs/1711.11417 CoRR http://arxiv.org/abs/1711.11417 db/journals/corr/corr1711.html#abs-1711-11417