Publisher
Springer International Publishing
Reference75 articles.
1. Abdeddaïm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)
2. Althoff, M., Grebenyuk, D., Kochdumper, N.: Implementation of Taylor models in CORA 2018. In: Proceedings of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 145–173 (2018)
3. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3–34 (1995)
4. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proc. IEEE 88, 971–984 (2000)
5. Lecture Notes in Computer Science;R Alur,1992