{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:15:18Z","timestamp":1748664918722,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255231"},{"type":"electronic","value":"9783319255248"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25524-8_15","type":"book-chapter","created":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T22:57:56Z","timestamp":1445468276000},"page":"232-247","source":"Crossref","is-referenced-by-count":0,"title":["Module Checking for Uncertain Agents"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T. , Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Proceedings of TARK XI, pp. 15\u201324 (2007)","DOI":"10.1145\/1324249.1324256"},{"key":"15_CR2","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. J. ACM 49, 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2012.11.005","volume":"223","author":"B Aminof","year":"2013","unstructured":"Aminof, B., Legay, A., Murano, A., Serre, O., Vardi, M.Y.: Pushdown module checking with imperfect information. Inf. Comput. 223(1), 1\u201317 (2013)","journal-title":"Inf. Comput."},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-540-74407-8_31","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"B Aminof","year":"2007","unstructured":"Aminof, B., Murano, A., Vardi, M.Y.: Pushdown module checking with imperfect information. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 460\u2013475. Springer, Heidelberg (2007)"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2006.02.035","volume":"176","author":"S Basu","year":"2007","unstructured":"Basu, S., Roop, P.S., Sinha, R.: Local module checking for CTL specifications. Electronic Notes in Theoretical Computer Science 176(2), 125\u2013141 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Bozzelli, L.: New results on pushdown module checking with imperfect information. In: Proceedings of GandALF, EPTCS, vol. 54, pp. 162\u2013177 (2011)","DOI":"10.4204\/EPTCS.54.12"},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10703-010-0093-x","volume":"36","author":"L Bozzelli","year":"2010","unstructured":"Bozzelli, L., Murano, A., Peron, A.: Pushdown module checking. Formal Methods in System Design 36(1), 65\u201395 (2010)","journal-title":"Formal Methods in System Design"},{"issue":"3","key":"15_CR8","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: How uncertainty and memory influence general properties of games. Journal of Autonomous Agents and Multi-Agent Systems 28(3), 474\u2013518 (2014)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E Clarke","year":"1981","unstructured":"Clarke, E., Emerson, E.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logics of Programs. LNCS, vol. 131, pp. 52\u201371. Springer, Heidelberg (1981)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Godefroid, P., Jagadeesan, R.: Three-valued abstractions of games: uncertainty, but with precision. In: Proceedings of LICS, pp. 170\u2013179. IEEE Computer Society (2004)","DOI":"10.1109\/LICS.2004.1319611"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995\u20131072. Elsevier Science Publishers (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Emerson, E., Jutla, C.: Tree automata, mu-calculus and determinacy. In: Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, pp. 368\u2013377. IEEE (1991)","DOI":"10.1109\/SFCS.1991.185392"},{"issue":"3\u20131","key":"15_CR13","first-page":"1","volume":"4","author":"A Ferrante","year":"2008","unstructured":"Ferrante, A., Murano, A., Parente, M.: Enriched $$\\mu $$ -calculi module checking. Logical Methods in Computer Science 4(3\u20131), 1\u201321 (2008)","journal-title":"Logical Methods in Computer Science"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Gesell, M., Schneider, K.: Modular verification of synchronous programs. In: Proceedings of ACSD, pp. 70\u201379. IEEE (2013)","DOI":"10.1109\/ACSD.2013.10"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-45212-6_15","volume-title":"Embedded Software","author":"P Godefroid","year":"2003","unstructured":"Godefroid, P.: Reasoning about abstract open systems with generalized module checking. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 223\u2013240. Springer, Heidelberg (2003)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Huth, M.: Model checking vs. generalized model checking: semantic minimizations for temporal logics. In: Proceedings of LICS, pp. 158\u2013167. IEEE Computer Society (2005)","DOI":"10.1109\/LICS.2005.28"},{"key":"15_CR17","unstructured":"Jamroga, W., Murano, A.: On module checking and strategies. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2014, pp. 701\u2013708 (2014)"},{"key":"15_CR18","unstructured":"Jamroga, W., Murano, A.: Module checking of strategic ability. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2015, pp. 227\u2013235 (2015)"},{"issue":"2","key":"15_CR19","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1093\/logcom\/9.2.135","volume":"9","author":"O Kupferman","year":"1999","unstructured":"Kupferman, O.: Augmenting branching temporal logics with existential quantification over atomic propositions. Journal of Logic and Computation 9(2), 135\u2013147 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"O Kupferman","year":"1996","unstructured":"Kupferman, O., Vardi, M.: Module checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102. Springer, Heidelberg (1996)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-63166-6_7","volume-title":"Computer Aided Verification","author":"O Kupferman","year":"1997","unstructured":"Kupferman, O., Vardi, M.: Module checking revisited. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 36\u201347. Springer, Heidelberg (1997)"},{"issue":"2","key":"15_CR22","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1006\/inco.2000.2893","volume":"164","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M., Wolper, P.: Module checking. Inf. Comput. 164(2), 322\u2013344 (2001)","journal-title":"Inf. Comput."},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-32940-1_14","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"A Costa Da","year":"2012","unstructured":"Da Costa, A., Laroussinie, F., Markey, N.: Quantified CTL: expressiveness and model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 177\u2013192. Springer, Heidelberg (2012)"},{"key":"15_CR24","unstructured":"Martinelli, F.: Module checking through partial model checking. Technical report, CNR Roma - TR-06 (2002)"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2006.12.003","volume":"168","author":"F Martinelli","year":"2007","unstructured":"Martinelli, F., Matteucci, I.: An approach for the specification, verification and synthesis of secure systems. Electronic Notes in Theoretical Computer Science 168, 29\u201343 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-89439-1_23","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A Murano","year":"2008","unstructured":"Murano, A., Napoli, M., Parente, M.: Program complexity in hierarchical module checking. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 318\u2013332. Springer, Heidelberg (2008)"},{"issue":"2","key":"15_CR27","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science 85(2), 82\u201393 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. Handbook of Theoretical Computer Science 2 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"15_CR29","unstructured":"Wang, Y., Dechesne, F.: On expressive power and class invariance. CoRR, abs\/0905.4332 (2009)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2015: Principles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25524-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:59:20Z","timestamp":1748660360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25524-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255231","9783319255248"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25524-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}