New article: Automated Generation of Dynamics-Based Runtime Certificates for High-Level Control
Article: DeCastro, J; Ehlers, R; Rungger, M; Dagger, A; Kress-Gazit, H; “Automated Generation of Dynamics-Based Runtime Certificates for High-Level Control”, Discrete Event Dynamic Systems-Theory and Applications, 27 (2):371-405 DOI Abstract: This paper addresses the problem ...
Read More