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]
@article{DeCastroERBK17, title = {Automated generation of dynamics-based runtime certificates for high-level control}, author = {Jonathan A. DeCastro and RĂ¼diger Ehlers and Matthias Rungger and Ayca Balkan and Hadas Kress-Gazit}, year = {2017}, doi = {10.1007/s10626-016-0232-7}, url = {https://doi.org/10.1007/s10626-016-0232-7}, researchr = {https://researchr.org/publication/DeCastroERBK17}, cites = {0}, citedby = {0}, journal = {Discrete Event Dynamic Systems}, volume = {27}, number = {2}, pages = {371-405}, }