Natasha Alechina, Brian Logan, Nguyen Hoang Nga & Abdur Rakib (2009):
A Logic for Coalitions with Bounded Resources.
In: Proc. of the 21st International Joint Conference on Artificial Intelligence,
IJCAI '09,
pp. 659–664.
Natasha Alechina, Brian Logan, Nguyen Hoang Nga & Abdur Rakib (2010):
Resource-bounded alternating-time temporal logic.
In: Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1,
AAMAS '10,
pp. 481–488.
Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
Journal of ACM 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
Rajeev Alur & Mihalis Yannakakis (2001):
Model checking of hierarchical state machines.
ACM Transactions on Programming Languages and Systems (TOPLAS) 23(3),
pp. 273–303,
doi:10.1145/503502.503503.
Nils Bulling & Berndt Farwer (2009):
Expressing Properties of Resource-Bounded Systems: The Logics RTL^* and RTL.
In: Jürgen Dix, Michael Fisher & Peter Novák: Computational Logic in Multi-Agent Systems (CLIMA X).
Springer,
pp. 22–45,
doi:10.1007/978-3-642-16867-3_2.
Nils Bulling & Berndt Farwer (2010):
On the (Un-)Decidability of Model Checking Resource-Bounded Agents.
In: Proc. of the 19th European Conference on Artificial Intelligence,
ECAI '10,
pp. 567–572,
doi:10.3233/978-1-60750-606-5-567.
Ashok K. Chandra, Dexter C. Kozen & Larry J. Stockmeyer (1981):
Alternation.
Journal of ACM 28(1),
pp. 114–133,
doi:10.1145/322234.322243.
Mehdi Dastani, Koen V. Hindriks & John-Jules Charles Meyer (2010):
Specification and Verification of Multi-agent Systems,
1st edition.
Springer Publishing Company, Incorporated.
D. Della Monica, M. Napoli & M. Parente (2011):
On a Logic for Coalitional Games with Priced-Resource Agents.
Electronic Notes in Theoretical Computer Science (ENTCS) 278,
pp. 215–228,
doi:10.1016/j.entcs.2011.10.017.
Proc. of the 7th Workshop on Methods for Modalities (M4M 2011) and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011).
Valentin Goranko (2001):
Coalition games and alternating temporal logics.
In: Proc. of the 8th Conference on Theoretical Aspects of Rationality and Knowledge,
TARK '01.
Morgan Kaufmann,
pp. 259–272.
Wojciech Jamroga & Jürgen Dix (2005):
Do Agents Make Model Checking Explode (Computationally)?.
In: Proc. of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005),
Lecture Notes in Computer Science 3690.
Springer,
pp. 398–407,
doi:10.1007/11559221_40.
Salvatore La Torre, Margherita Napoli, Mimmo Parente & Gennaro Parlato (2003):
Hierarchical and Recursive State Machines with Context-Dependent Properties.
In: Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow & Gerhard J. Woeginger: Proc. of the 30th International Colloquium on Automata, Languages and Programming (ICALP),
Lecture Notes in Computer Science 2719.
Springer,
pp. 776–789,
doi:10.1007/3-540-45061-0_61.
Salvatore La Torre, Margherita Napoli, Mimmo Parente & Gennaro Parlato (2008):
Verification of scope-dependent hierarchical state machines.
Information and Computation 206(9-10),
pp. 1161–1177,
doi:10.1016/j.ic.2008.03.017.
Aniello Murano, Margherita Napoli & Mimmo Parente (2008):
Program Complexity in Hierarchical Module Checking.
In: Iliano Cervesato, Helmut Veith & Andrei Voronkov: Proc. of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Lecture Notes in Computer Science 5330.
Springer,
pp. 318–332,
doi:10.1007/978-3-540-89439-1_23.
Marc Pauly (2001):
A Logical Framework for Coalitional Effectivity in Dynamic Procedures.
Bulletin of Economic Research 53(4),
pp. 305–324,
doi:10.1111/1467-8586.00136.
Marc Pauly (2002):
A Modal Logic for Coalitional Power in Games.
Journal of Logic and Computation 12(1),
pp. 149–166,
doi:10.1093/logcom/12.1.149.
eptcs@eptcs.org