Eduard Kamburjan, Michael Lienhardt. Type-Based Verification of Delegated Control in Hybrid Systems. In Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, editors, Active Object Languages: Current Research Trends. Volume 14360 of Lecture Notes in Computer Science, pages 323-358, Springer, 2024. [doi]
Abstract is missing.