{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T05:49:23Z","timestamp":1770702563285,"version":"3.49.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319097633","type":"print"},{"value":"9783319097640","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09764-0_11","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:56:26Z","timestamp":1405904186000},"page":"166-182","source":"Crossref","is-referenced-by-count":9,"title":["Synthesis and Verification of Uniform Strategies for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Jerzy","family":"Pilecki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek A.","family":"Bednarczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"\u00c5gotnes, T.: A note on syntactic characterization of incomplete information in ATEL. In: Procedings of Workshop on Knowledge and Games, pp. 34\u201342 (2004)"},{"key":"11_CR2","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. In: van der Hoek, W., van Ditmarsch, H.P., Halpern, J.Y., Kooi, B.P. (eds.) Handbook of Logics for Knowledge and Belief. Springer (to appear, 2014)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., de Alfaro, L., Grossu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F.Y.C., Wang, B.-Y.: jMocha: A model-checking tool that exploits design structure. In: Proceedings of ICSE, pp. 835\u2013836 (2001)","DOI":"10.1109\/ICSE.2001.919196"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), pp. 100\u2013109. IEEE Computer Society Press (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. Journal of the ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA: Modularity in model checking. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/s10458-013-9231-3","volume":"28","author":"N. Bulling","year":"2014","unstructured":"Bulling, N., Jamroga, W.: Comparing variants of strategic ability. Journal of Autonomous Agents and Multi-Agent Systems\u00a028(3), 474\u2013518 (2014)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-14977-1_12","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Calta","year":"2010","unstructured":"Calta, J., Shkatov, D., Schlingloff, H.: Finding uniform strategies for multi-agent systems. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 135\u2013152. Springer, Heidelberg (2010)"},{"key":"11_CR9","unstructured":"Dima, C., Tiplea, F.L.: Model-checking atl under imperfect information and perfect recall semantics is undecidable. CoRR, abs\/1102.4225 (2011)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Jamroga, W., \u00c5gotnes, T.: Modular interpreted systems: A preliminary report. Technical Report IfI-06-15, Clausthal University of Technology (2006)","DOI":"10.1145\/1329125.1329286"},{"key":"11_CR11","unstructured":"Jamroga, W., Dix, J.: Model checking ATL ir is indeed $\\Delta_2^P$ -complete. In: Proceedings of EUMAS 2006 (2006)"},{"issue":"2-3","key":"11_CR12","first-page":"185","volume":"63","author":"W. Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae\u00a063(2-3), 185\u2013219 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Kacprzak, M., Penczek, W.: Unbounded model checking for Alternating-time Temporal Logic. In: Proceedings of AAMAS 2004 (2004)","DOI":"10.1007\/1-4020-4094-6_9"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"K\u00f6ster, M., Lohmann, P.: Abstraction for model checking modular interpreted systems over ATL. In: Proceedings of AAMAS, pp. 1129\u20131130 (2011)","DOI":"10.1007\/978-3-642-31915-0_6"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Lomuscio, A., Qu, H.: Parallel model checking for temporal epistemic logic. In: Proceedings of ECAI, pp. 543\u2013548 (2010)","DOI":"10.3233\/978-1-60750-606-5-543"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11691372_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: mcmas: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"},{"key":"11_CR18","unstructured":"Papalamprou, P.: Logic-based verification of games with imperfect information. Master thesis, University of Luxembourg (2013)"},{"key":"11_CR19","unstructured":"Qu, H., Lomuscio, A., Raimondi, F.: MCMAS with uniform strategies. Personal communication (2014)"},{"issue":"2","key":"11_CR20","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"P.Y. Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science\u00a085(2), 82\u201393 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Lomuscio, A., Wooldridge, M.: On the complexity of practical ATL model checking. In: Stone, P., Weiss, G. (eds.) Proceedings of AAMAS 2006, pp. 201\u2013208 (2006)","DOI":"10.1145\/1160633.1160665"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09764-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:50:37Z","timestamp":1746309037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09764-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319097633","9783319097640"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09764-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}