Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit. Automated generation of dynamics-based runtime certificates for high-level control. Discrete Event Dynamic Systems, 27(2):371-405, 2017. [doi]
Abstract is missing.