Author:
McCabe-Dansted John,Reynolds Mark
Publisher
Springer International Publishing
Reference18 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM (JACM) 49(5), 672–713 (2002)
2. Lecture Notes in Computer Science;S. Cerrito,2014
3. David, A.: Deciding ATL* satisfiability by tableaux. Technical report, Laboratoire IBISC – Université d’Évry Val-d’Essonne (2015),
https://www.ibisc.univ-evry.fr/~adavid/fichiers/cade15_tableaux_atl_star_long.pdf
(retrieved)
4. McCabe-Dansted, J.C., Reynolds, M.: EXPTIME fairness with bundled CTL. In: Cesta, A., Combi, C., Laroussinie, F. (eds.) Proceedings of the International Symposium on Temporal Representation and Reasoning, TIME 2014, pp. 164–173 (2014),
http://www.csse.uwa.edu.au/~john/papers/ExpFair.pdf
5. Reynolds, M.: A tableau for Bundled CTL*. Journal of Logic and Computation 17(1), 117–132 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Tableau for Bundled Strategies;Lecture Notes in Computer Science;2015