T Agotnes 2006 Action and Knowledge in Alternating-time Temporal Logic Synthese 149.2 (2006), 377-409.
T Agotnes, V Goranko, W Jamroga, and M Wooldridge 2015 Knowledge and Ability In Handbook of Epistemic Logic HP van Ditmarsch, J.Y Halpem W van der Hoek, and B.P Kooi (Eds.) College Publications, 543-589.
T Agotnes and D Walther 2009 A Logic of Strategic Ability Under Bounded Memory Journal of Logic, Language and Information 18, 1 (2009), 55-77.
N Alechina, M Dastani, B Logan, and J.-J Ch Meyer 2007 A Logic of Agent Programs In Proceedings ofAAAL 795-800.
N Alechina, B Logan, M Dastani, and J.-J Ch Meyer 2008 Reasoning about agent execution strategies In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) 1455-1458.
N Alechina, B Logan, N.H Nga, and A Rakib 2009 A Logic for Coalitions with Bounded Resources In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI) 659-664.
N Alechina, B Logan, UN Nguyen, and A Rakib 2010 Resource-Bounded Alternating-Time Temporal Logic In Proceedings of International Joinr Conference on Autonomous Agents and Multiagent Systems (AAMAS) 481-488.
R Alur, T-A-Henzinger, and O Kupferman 2002 Alternating-Tune Temporal Logic J ACM 49, 5 (2002), 672-713.
R Alur, S Moarref, and U Topcu 2018 Compositional and symbolic synthesis of reactive controllers for multi-agent systems Inf Comput 261, Part (2018), 616-633.
M Barlo, G Carmona, and H Sabourian 2008 Bounded memory with finite action spaces Saba net University, Universidade Nova de Lisboa and University of Cambridge (2008).
F Belardinelli A Lomuscio, and V Malvone 2018 Approximating Perfect Recall When Model Checking Strategic Abilitie In KR 435-444.
F Belardinelli, A Lomuscio, A Murano, and S.Rubin 2017 Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia August 19-25, 2017.91-97.
F Belardinelli, A Lomuscio, A Murano, and S Rubin 2017 Verification of Multiagent Systems with Imperfect Information and Public Actions In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, Sio Paulo Brazil, May S-12.2017.1268-1276.
R Berthon, B Maubert, and A Murano 2017 Decidability Results for ATL with Imperfect Information and Perfect Recall In AAMAS ACM, 1250-1258.
R Berthon, B Maubert, A Murano, S Rubin, and M Y Vardi 2017 Strategy logic with imperfect information In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2017, Reykjavik, Iceland, June 20-23, 2017.1-12.
D Berwanger and A B Mathew 2017 Infinite games with finite knowledge gaps Inf Comput 254 (2017) 217-237.
R Bordini, M Fisher, W Visser, and M Wooldridge 2006 Verifying Multi-Agent Programs by Model Checking Autonomous Agents and Multi-Agent Systems 12, 2 (2006), 239-256.
P Bouyer, N Markey, and S Vester 2017 Nash equilibria in symmetric graph games with partial observation Inf Comput 254 (2017), 238-258.
N Bulling and B Farwer 2010 Expressing Properties of Resource-Bounded Systems: The Logics RTL and RTL In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA) (Lecture Notes in Computer Science), Vol 6214 22-45.
N Bulling and B Farwer 2010 On the (Un-)Decidability of Model Checking Resource-Bounded Agents In Proceedings of ECAI (Frontiers in Artificial Intelligence and AppllcationsX Vol 215 IOS Press, 567-572.
N Bulling and W Jamroga 2014 Comparing variants of strategic ability: How uncertainty and memory influence general properties of games Journal of Autonomous Agents and Multi-Agent Systems 28, 3 (2014), 474-518.
S Busaid, C Pecheur, H Qu, and F Raimondi 2015 Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Inf Comput 242 (2015), 128-156.
P Cermik, A Lomuscio, F Mogavero, and A Murano 2018 Practical verification of multi-agent systems against Slk specifications Inf Comput 261 Part (2018), 588-614.
K Chatteijee, L Doyen, E Filiot, and J F Raskin 2017 Doomsday equilibria for omega-regular games Inf Comput 254 (2017), 296-315.
K Chatterjee, TA Henzinger, and N Piterman 2010 Strategy Logic Information and Computation 208, 6 (2010), 677-693.
T Chen, F Song, and Z Wu 2017 Model Checking Pushdown Epistemic Game Structures In Formal Methods and Software Engineering-19th International Conference on Formal Engineering Methods (ICFEMI7) (Lecture Notes In Computer Science), Vol 10610 Springer, 36-53.
EA1 Clarke and E.A Emerson 1981 Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic In Proceedings of Logics of Programs Workshop (Lecture Notes In Computer Science), Vol 131.52-71.
M Dastani and W Jamroga 2010 Reasoning about Strategies of Multi-Agent Programs In Proceedings of AAMAS 625-632.
C Dima and F.L Tiplea 2011 Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecldable Technical Report arXiv.
H Duijf andJ-M Broersen 2016 Representing Strategies In Proceedings of SR 15-26 https://doLorg/10.4204/EPTCS.218.2.
A Gupta, S Schewe, and D Wojtczak 2014 Making the best of limited memory in multi-player discounted sum games arXiv preprint arXiv.1410.4154 (2014).
J Gutierrez, G Perelli, and M Wooldridge 2018 Imperfect information in Reactive Modules games Inf Comput 261, Part (2018), 650-675.
D Harel and D Kozen 1982 Process Logic: Expressiveness, Decidability, Completeness J Comput System ScL 25, 2 (1982), 144-170.
A Herzig, E Lorini F Maffre, and D Walther 2014 Alternating-time Temporal Logic with Explicit Programs In Proceedings of LAMAS.
J Homer and W Olszewski 2009 How robust is the Folk Theorem? The Quarterly Journal of Economics (2009), 1773-1814.
W Jamroga and T Agotnes 2007 Constructive knowledge: What agents can achieve under imperfect information J Applied Non-Classical Logics 17, 4 (2007), 423-475.
W Jamroga and J Dix 2006 Model Checking ATLjr is Indeed Af-complete In Proceedings ofEUMAS (CEUR Workshop Proceedings), Vol 223.
W Jamroga, M Knapik, and D Kurpiewski 2017 Fixpoint Approximation of Strategic Abilities under Imperfect Information In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) IFAAMAS, 1241-1249.
W Jamroga V Malvone, and A Murano 2017 Reasoning about Natural Strategic Ability In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) IFAAMAS, 714-722.
W Jamroga and A Murano 2015 Module Checking of Strategic Ability In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2015 IFAAMAS, 227-235.
W Jamroga and W van der Hoek 2004 Agents that Know how to Play Fundamenta Informaticae 63, 2-3 (2004) 185-219.
O Kupferman and M Y Vardi 1997 Module checking revisited In CAV'97 Springer, 36-47.
O Kupferman and M Y Vardi 2000 Synthesis with incomplete informatio In Advances In Temporal Logic Springer, 109-127.
V Malvone, A Murano, and L Sorrentino 2017 Hiding Actions in Multi-Player Games In AAMAS 1205-1213.
V Malvone, A Murano, and L Sorrentino 2018 Additional Winning Strategies in Reachability Games Fundam Inform 159, 1-2 (2018), 175-195.
B Maubert and A Murano 2018 Reasoning about Knowledge and Strategies under Hierarchical Information In KR AAAI Press, 530-540.
F Mogavero, A Murano, G Perelli, and M.Y Vardi 2014 Reasoning About Strategies: On the Model-Checking Problem ACM Transactions on Computational Logic 15, 4 (2014), 1-42.
F Mogavero, A Murano, G Perelli, and M.Y Vardi 2017 Reasoning about Strategies: On the Satisfiability Problem Logical Methods in Computer Science 13, 1 (2017) https://doLorg/10.23638/LMCS-13(1:9)2017.
P Novik and W Jamroga 2009 Code Patterns for Agent Oriented Programming In Proceedings of AAMAS'09.105-112.
A Pnueli and R Rosner 1989 On the Synthesis of a Reactive Module. In POPL't9 Association for Computing Machinery, 179-190.
A Pnueli and R Rosner 1990 Distributed reactive systems are hard to synthesize In FOCS 746-757.
J H Reif 1984 The Complexity of Two-Player Games of Incomplete Information J Comput Syst ScL 29, 2 (1984), 274-301.
P Y Schobbens 2004 Alternating-Time Logic with Imperfect RecalL Electronic Notes In Theoretical Computer Science 85, 2 (2004), 82-93.
W van der Hoek, W Jamroga, and M Wooldridge 2005 A Logic for Strategic Reasoning In Proceedings of AAMAS'05.157-164.
S Vester 2013 Alternating-time temporal logic with finite-memory strategies In GandALF 2013.194-207.
D Walther W van der Hoek and M Wooldridge 2007 Alternating-time Temporal Logic with Explicit Strategies In Proceedings TARK XL Presses Universitaires de Louvain, 269-278.
N Yadav and S Sardifia 2012 Reasoning about Agent Programs Using ATL-Like Logics In Proceedings ofJELIA 437-449.
