Kim Peter Wabersich, Melanie N. Zeilinger. Scalable synthesis of safety certificates from data with application to learning-based control. In 2018 European Control Conference, ECC 2018, Limassol, Cyprus, June 12-15, 2018. pages 1691-1697, IEEE, 2018. [doi]
Abstract is missing.