Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference19 articles.
1. Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278–292 (1996)
2. Kesten, Y., Pnueli, A., Sifakis, J., Yovine, S.: Integration graphs: a class of decidable hybrid systems. In: Hybrid System. LNCS, vol. 736, pp. 179–208
3. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3–34 (1995)
4. Henzinger T., Kopke P., Puri A., Varaiya P.: What’s decidable about hybrid automata?. J. Comput. Syst. Sci. 57, 94–124 (1998)
5. Henzinger, T., Ho, P.-H., Wong-Toi, H.: HYTECH: a model checker for hybrid systems. In: Software Tools for Technology Transfer, vol. 1, pp. 110–122 (1997)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献