Publisher
Springer International Publishing
Reference23 articles.
1. Abdulla, P.A., Bouajjani, A., d’Orso, J.: Monotonic and downward closed games. J. Log. Comput. 18(1), 153–169 (2008)
2. Lecture Notes in Computer Science;PA Abdulla,2013
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
4. Arul, A., Reichert, J.: The complexity of robot games on the integer line. In: Proceedings of QApPL 2013, EPTCS, vol. 117, pp. 132–148 (2013)
5. Brázdil, T., Brozek, V., Etessami, K.: One-counter stochastic games. In: Proceedings of FSTTCS 2010, LIPIcs, vol. 8, pp. 108–119 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献