{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:56:21Z","timestamp":1725522981087},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540939191"},{"type":"electronic","value":"9783540939207"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93920-7_6","type":"book-chapter","created":{"date-parts":[[2008,12,24]],"date-time":"2008-12-24T04:33:38Z","timestamp":1230093218000},"page":"75-90","source":"Crossref","is-referenced-by-count":2,"title":["Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions"],"prefix":"10.1007","author":[{"given":"Dimitar P.","family":"Guelev","sequence":"first","affiliation":[]},{"given":"Catalin","family":"Dima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1007\/978-3-540-71209-1_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Alur","year":"2007","unstructured":"Alur, R., \u010cern\u00fd, P., Chaudhuri, S.: Model checking on trees with path equivalences. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 664\u2013678. Springer, Heidelberg (2007)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time Temporal Logic. In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, pp. 100\u2013109 (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 1\u201342 (2002)","journal-title":"Journal of the ACM"},{"issue":"4","key":"6_CR4","first-page":"1","volume":"3","author":"K. Chatterjee","year":"2007","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.F.: Algorithms for Omega-regular Games with Imperfect Information. Logical Methods in Computer Science\u00a03(4), 1\u201323 (2007)","journal-title":"Logical Methods in Computer Science"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s00224-007-9080-z","volume":"42","author":"J. Dix","year":"2008","unstructured":"Dix, J., Jamroga, W.: Model Checking Abilities of Agents: A Closer Look. Theory of Computing Systems\u00a042(3), 366\u2013410 (2008)","journal-title":"Theory of Computing Systems"},{"key":"6_CR6","unstructured":"French, T., van der Meyden, R., Reynolds, M.: Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. In: Advances in Modal Logic, vol.\u00a05, pp. 53\u201372. King\u2019s College Publications (2005)"},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V. Goranko","year":"2004","unstructured":"Goranko, V., Jamroga, W.: Comparing Semantics for Logics of Multi-agent Systems. Synthese\u00a0139(2), 241\u2013280 (2004)","journal-title":"Synthese"},{"issue":"1-3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V. Goranko","year":"2006","unstructured":"Goranko, V., van Drimmelen, G.: Decidability and Complete Axiomatization of the Alternating-time Temporal Logic. Theoretical Computer Science\u00a0353(1-3), 93\u2013117 (2006)","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","volume-title":"Reasoning about Knowledge","author":"J. Halpern","year":"1995","unstructured":"Halpern, J., Fagin, R., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W. Jamroga","year":"2007","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics\u00a017(4), 423\u2013475 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2-3","key":"6_CR11","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":"6_CR12","unstructured":"Jamroga, W., van der Hoek, W.: Strategic Ability under Uncertainty. Technical Report\u00a06, Institute of Computer Science, Clausthal University of Technology (2006)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. Theoretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1145\/1160633.1160660","volume-title":"Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS 2006)","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS 2006), pp. 161\u2013168. ACM Press, New York (2006)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11961536_3","volume-title":"Declarative Agent Languages and Technologies IV","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS, vol.\u00a04327, pp. 29\u201342. Springer, Heidelberg (2006)"},{"issue":"2","key":"6_CR16","first-page":"303","volume":"148","author":"F. Laroussinie","year":"1995","unstructured":"Laroussinie, F., Schnoebelen, P.: A Hierarchy of Temporal Logics with Past. Information and Computation\u00a0148(2), 303\u2013324 (1995)","journal-title":"Information and Computation"},{"issue":"1-2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1006\/inco.1999.2817","volume":"156","author":"F. Laroussinie","year":"2000","unstructured":"Laroussinie, F., Schnoebelen, P.: Specification in CTL+Past for Verification in CTL. Information and Computation\u00a0156(1-2), 236\u2013263 (2000)","journal-title":"Information and Computation"},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B.: Temporal Logic For Multilevel Reasoning About Hardware. IEEE Computer\u00a018(2), 10\u201319 (1985)","journal-title":"IEEE Computer"},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.ic.2005.03.005","volume":"201","author":"M. Reynolds","year":"2005","unstructured":"Reynolds, M.: An Axiomatization of PCTL*. Information and Computation\u00a0201(1), 72\u2013119 (2005)","journal-title":"Information and Computation"},{"issue":"2","key":"6_CR20","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"P.Y. Schobbens","year":"2003","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science\u00a085(2), 82\u201393 (2003); Proceedings of LCMAS 2003","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR21","unstructured":"Shilov, N.V., Garanina, N.O.: Model-checking Knowledge and Fixpoints. In: Preliminary Proceedings of the 3rd Workshop on Fixpoints in Computer Science (FICS 2002), number NS-02-2 in BRICS Notes Series, pp. 25\u201339. BRICS (July 2002) (Also available as Preprint 1998, Ershov, A.P., Institute of Informatics Systems, Russian Academy of Sciences (Siberian Division))"},{"issue":"1","key":"6_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0304-3975(92)90090-3","volume":"103","author":"W. Thomas","year":"1992","unstructured":"Thomas, W.: Infinite Trees and Automation-Definable Relations over \u03c9-Words. Theoretical Computer Science\u00a0103(1), 143\u2013159 (1992)","journal-title":"Theoretical Computer Science"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, Knowledge and Time: Alternating-time Temporal Epistemic Logic and Its Applications. Studia Logica\u00a075, 125\u2013157 (2003)","journal-title":"Studia Logica"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-46691-6_35","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"R. Meyden van der","year":"1999","unstructured":"van der Meyden, R., Shilov, N.V.: Model Checking Knowledge And Time In Systems With Perfect Recall. In: Pandu Rangan, C., Raman, V., Ramanujam, R. (eds.) FST TCS 1999. LNCS, vol.\u00a01738, pp. 432\u2013445. Springer, Heidelberg (1999)"},{"key":"6_CR25","series-title":"ENTCS","first-page":"77","volume-title":"Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004)","author":"S. Otterloo van","year":"2005","unstructured":"van Otterloo, S., Jonker, G.: On Epistemic Temporal Strategic Logic. In: Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004). ENTCS, vol.\u00a0126, pp. 77\u201392. Elsevier, Amsterdam (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93920-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T13:06:14Z","timestamp":1551704774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93920-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540939191","9783540939207"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93920-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}