Author:
Dennis Louise A.,Fisher Michael,Lincoln Nicholas K.,Lisitsa Alexei,Veres Sandor M.
Publisher
Springer Science and Business Media LLC
Reference91 articles.
1. Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Automated verification of resource requirements in multi-agent systems using abstraction. In: Proceedings of the 6th International Workshop on Model-Checking AI, Springer, LNAI, vol. 6572, pp. 69–84 (2010)
2. 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(1), 3–34 (1995)
3. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971–984 (2000)
4. Barringer, H., Giannakopoulou, D.: Proof rules for automated compositional verification through learning. In: Proceedings of SAVCBS Workshop, pp. 14–21 (2003)
5. Bauer, K.: A New Modelling Language for Cyber-Physical Systems. PhD thesis, Technische Universität Kaiserlautern (2012)
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献