Author:
Goranko Valentin,Kuusisto Antti,Rönnholm Raine
Funder
European Research Council
Vetenskapsrådet
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference26 articles.
1. Alternating-time temporal logic;Alur;J. ACM,2002
2. Verifying agents with memory is harder than it seemed;Bulling;AI Commun.,2010
3. Game-theoretic semantics for alternating-time temporal logic;Goranko,2016
4. Game-theoretic semantics for alternating-time temporal logic;Goranko;ACM Trans. Comput. Log.,2018
5. Game-theoretic semantics for ATL+ with applications to model checking;Goranko,2017
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献