Author:
Jurdziński Marcin,Lazić Ranko,Rutkowski Michał
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 3–34 (1995)
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
3. Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996, pp. 278–292. IEEE Computer Society Press, Los Alamitos (1996)
4. Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Mathematics of Control, Signals, and Systems 13(1), 1–21 (2000)
5. Lecture Notes in Computer Science;R. Gentilini,2005
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two-Player Reachability-Price Games on Single-Clock Timed Automata;Electronic Proceedings in Theoretical Computer Science;2011-07-04