{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:11:53Z","timestamp":1743135113813,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_12","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"111-124","source":"Crossref","is-referenced-by-count":0,"title":["Exponential Acceleration of Model Checking for Perfect Recall Systems"],"prefix":"10.1007","author":[{"given":"Natalia O.","family":"Garanina","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1999.2843","volume":"160","author":"P.A. Abdulla","year":"2000","unstructured":"Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation\u00a0160(1-2), 109\u2013127 (2000)","journal-title":"Information and Computation"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems\u00a012(2), 239\u2013256 (2006)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 states and beyond. Information and Computation\u00a098(2), 142\u2013170 (1992)","journal-title":"Information and Computation"},{"key":"12_CR4","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"12_CR5","first-page":"1077","volume-title":"Proceeding of the 2010 Conference on ECAI 2010","author":"M. Cohen","year":"2010","unstructured":"Cohen, M., Lomuscio, A.: Non-elementary speed up for model checking synchronous perfect recall. In: Proceeding of the 2010 Conference on ECAI 2010, pp. 1077\u20131078. IOS Press, Amsterdam (2010)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. Elsevier and MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"1-2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A. Finkel","year":"2001","unstructured":"Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theor. Comp. Sci.\u00a0256(1-2), 63\u201392 (2001)","journal-title":"Theor. Comp. Sci."},{"key":"12_CR9","volume-title":"Proc. of Concurrency, Specification and Programming Workshop CS&P 2004","author":"N.O. Garanina","year":"2004","unstructured":"Garanina, N.O., Kalinina, N.A., Shilov, N.V.: Model checking knowledge, actions and fixpoints. In: Proc. of Concurrency, Specification and Programming Workshop CS&P 2004, Germany. Humboldt Universitat, Berlin (2004); Informatik-Bericht Nr. 170(2), 351\u2013357"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J.Y. Halpern","year":"2004","unstructured":"Halpern, J.Y., van der Meyden, R., Vardi, M.Y.: Complete Axiomatizations for Reasoning About Knowledge and Time. SIAM J. Comp.\u00a033(3), 674\u2013703 (2004)","journal-title":"SIAM J. Comp."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Huang, X., van der Meyden, R.: The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. In: Proc. of 19th ECAI, Lisbon, Portugal, August 16-20. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 549\u2013554. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-549"},{"issue":"3","key":"12_CR12","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 Mu-Calculus. Theoretical Computer Science\u00a027(3), 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Kozen, D., Tiuryn, J.: Logics of Programs. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 789\u2013840. Elsevier and MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"12_CR14","unstructured":"Kwiatkowska, M.Z., Lomuscio, A., Qu, H.: Parallel Model Checking for Temporal Epistemic Logic. In: Proc. of 19th ECAI, Lisbon, Portugal, August 16-20. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 543\u2013548. IOS Press (2010)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Penczek, W., Qu, H.: Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. In: Proc. of 9th AAMAS, Toronto, Canada, May 10-14. IFAAMAS, vol.\u00a01, pp. 659\u2013666 (2010)","DOI":"10.3233\/FI-2010-276"},{"key":"12_CR16","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., Sarukkai, S. (eds.) FST TCS 1999. LNCS, vol.\u00a01738, pp. 432\u2013445. Springer, Heidelberg (1999)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Rescher, N.: Epistemic Logic. A Survey of the Logic of Knowledge. University of Pitsburgh Press (2005)","DOI":"10.2307\/j.ctt6wrbnm"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Shilov, N.V., Yi, K.: How to find a coin: propositional program logics made easy. In: Current Trends in Theoretical Computer Science, vol.\u00a02, pp. 181\u2013213. World Scientific (2004)","DOI":"10.1142\/9789812562494_0047"},{"issue":"1-3","key":"12_CR19","first-page":"347","volume":"72","author":"N.V. Shilov","year":"2006","unstructured":"Shilov, N.V., Garanina, N.O., Choe, K.-M.: Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundameta Informaticae\u00a072(1-3), 347\u2013361 (2006)","journal-title":"Fundameta Informaticae"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-540-70881-0_31","volume-title":"Perspectives of Systems Informatics","author":"N.V. Shilov","year":"2007","unstructured":"Shilov, N.V., Garanina, N.O.: Well-Structured Model Checking of Multiagent Systems. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 363\u2013376. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:56:33Z","timestamp":1743112593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}