Author:
Belardinelli Francesco,Condurache Rodica,Dima Cătălin,Jamroga Wojciech,Knapik Michal
Funder
ANR
National Centre for Research and Development
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference76 articles.
1. Model checking logics of strategic ability: complexity;Bulling,2010
2. Comparing variants of strategic ability: how uncertainty and memory influence general properties of games;Bulling;Auton. Agents Multi-Agent Syst.,2014
3. Comparing semantics for logics of multi-agent systems;Goranko;Synthese,2004
4. Alternating-time temporal logic;Alur,1997
5. Alternating-time temporal logic;Alur;J. ACM,2002
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献