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