F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
LibreCat: https://research-explorer.ista.ac.at/record/4565
DOI: 10.1007/3-540-45873-5_13