Symbolic analysis of linear hybrid automata – 25 years later. (English) Zbl 1528.68182
Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 39-60 (2022).