Research output per year
Research output per year
Search results
-
2022
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later
Frehse, G., Giacobbe, M. & Zaffanella, E., 29 Dec 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J-F., Chatterjee, K., Doyen, L. & Majumdar, R. (eds.). 1 ed. Cham: Springer, p. 39–60 22 p. (Lecture Notes in Computer Science; vol. 13660).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
2019
Continuous-time models for system design and analysis
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G. & Mikučionis, M., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).Research output: Chapter in Book/Report/Conference proceeding › Chapter