Author:
Baier Christel,Brázdil Tomáš,Größer Marcus,Kučera Antonín
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference30 articles.
1. Ågotnes, T., Goranka, V., Jamroga, W.: Alternating-time temporal logic with irrevocable strategies. In: 11th Confernce on Theoretical Aspects of Rationality and Knowledge (TARK’07), pp. 15–24 (2007)
2. Alur R., Henzinger T.A., Kupferman O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)
3. Baier, C., Brázdil, T., Größer, M., Kučera, A.: Stocahstic game logic. In: Fourth International Conference on Quantitative Evaluation of Systems (QEST’07), pp. 227–236. IEEE Computer Society Press, Los Alamos (2007)
4. Baier, C., Größer, M., Leucker, M., Ciesinski, F., Bollig, B.: Controller synthesis for probabilistic systems. In: IFIP Worldcongress, Theoretical Computer Science (2004)
5. Baier C., Katoen J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献