{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:10:16Z","timestamp":1737018616104,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696186"},{"type":"electronic","value":"9783540696193"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69619-3_8","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T23:32:47Z","timestamp":1179185567000},"page":"134-150","source":"Crossref","is-referenced-by-count":0,"title":["Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"781","DOI":"10.4007\/annals.2004.160.781","volume":"160","author":"M. Agrawal","year":"2004","unstructured":"Agrawal, M., Kayal, N., Saxena, N.: PRIMES is in P. Annals of Mathematics\u00a0160(2), 781\u2013793 (2004)","journal-title":"Annals of Mathematics"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44804-7","volume-title":"CONCUR 2001 - Concurrency Theory","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: The Control of Synchronous Systems Part II. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, Springer, Heidelberg (2001)"},{"key":"8_CR3","volume-title":"LICS 01, 16th International IEEE Symposium on Logic in Computer Science","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A., Majumdar, R.: From Verification to Control: Dynamic Programs for Omega-Regular Objectives. In: LICS 01, 16th International IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_33","volume-title":"CONCUR 2000 - Concurrency Theory","author":"L. Alfaro de","year":"2000","unstructured":"de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: The Control of Synchronous Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, Springer, Heidelberg (2000)"},{"key":"8_CR5","unstructured":"Alur, R., de Alfaro, L., Henzinger, T.A., Krishnan, S.C., Mang, F.Y.C., Qadeer, S., Rajamni, S.K., Tasiran, S.: MOCHA user manual. University of Berkeley Report (2000)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Alternating-time temporal logic. In Journal of the ACM\u00a049(5), 672\u2013713","DOI":"10.1145\/585265.585270"},{"key":"8_CR7","series-title":"Studies in Logic","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(01)80001-X","volume-title":"Rudiments of \u03bc-calculus","author":"A. Arnold","year":"2001","unstructured":"Arnold, A., Niwinski, D.: Rudiments of \u03bc-calculus. Studies in Logic, vol.\u00a0146. North-Holland, Amsterdam (2001)"},{"key":"8_CR8","first-page":"189","volume":"29","author":"M. Bourahla","year":"2005","unstructured":"Bourahla, M., Benmohamed, M.: Model Checking Multi-Agent Systems. Informatica\u00a029, 189\u2013197 (2005)","journal-title":"Informatica"},{"key":"8_CR9","volume-title":"Handbook of Process Algebra","author":"J. Bradfield","year":"2001","unstructured":"Bradfield, J., Stirling, C.: Modal Logics and mu-Calculi: An Introduction. In: Handbook of Process Algebra, Elsevier Science B.V, Amsterdam (2001)"},{"key":"8_CR10","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, J.O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/1082473.1082495","volume-title":"AAMAS05, vol. 1","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic with Assignment. In: AAMAS05, vol. 1, pp. 141\u2013148. ACM, New York (2005)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-56922-7_32","volume-title":"Computer Aided Verification","author":"E.A. Emerson","year":"1993","unstructured":"Emerson, E.A., Jutla, C.S., Sistla, A.P.: On model checking for fragments of the \u03bc-calculus. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 385\u2013396. Springer, Heidelberg (1993)"},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. Journal of the ACM\u00a041(2), 340\u2013367 (1994)","journal-title":"Journal of the ACM"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0168-0072(98)00033-5","volume":"96","author":"R. Fagin","year":"1999","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Common knowledge revisited. Annals of Pure and Applied Logic\u00a096, 89\u2013105 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/SCT.1992.215385","volume-title":"Proceedings of the 7th Annal Conference on Structure in Complexity Theory","author":"M.R. Fellows","year":"1992","unstructured":"Fellows, M.R., Koblitz, N.: Self-witnessing polynimial-time complexity and prime factorization. In: Proceedings of the 7th Annal Conference on Structure in Complexity Theory, pp. 107\u2013110. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"8_CR17","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.: Complete axiomatization and decidability of Alternating-time temporal logic. Theoretical Computer Science\u00a0353, 93\u2013117 (2006)","journal-title":"Theoretical Computer Science"},{"key":"8_CR18","first-page":"1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4","author":"J.Y. Halpern","year":"1995","unstructured":"Halpern, J.Y.: Reasoning about knowledge: a survey. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 1\u201334. Oxford University Press, Oxford (1995)"},{"issue":"3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"Journal of the ACM"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-46017-9_9","volume-title":"Model Checking Software","author":"W. Hoek van der","year":"2002","unstructured":"van der Hoek, W., Wooldridge, M.: Model Checking Knowledge, and Time. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) Model Checking Software. LNCS, vol.\u00a02318, pp. 95\u2013111. Springer, Heidelberg (2002)"},{"key":"8_CR21","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"},{"issue":"1-2","key":"8_CR22","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.artint.2005.01.003","volume":"64","author":"W. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Wooldridge, M.: On the Logic of Cooperation and Propositional Control. Artificial Intelligence\u00a064(1-2), 81\u2013119 (2005)","journal-title":"Artificial Intelligence"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0020-0190(98)00150-1","volume":"68","author":"M. Jurdzinski","year":"1998","unstructured":"Jurdzinski, M.: Deciding the winner in parity games is in UP\u2229co-UP. Information Processing Letters\u00a068, 119\u2013134 (1998)","journal-title":"Information Processing Letters"},{"key":"8_CR24","volume-title":"Proceedings of ACM-SIAM Symposium on Discrete Algorithms, SODA 2006","author":"M. Jurdzinski","year":"2006","unstructured":"Jurdzinski, M., Paterson, M., Zwick, U., Deterministic, A.: Subexponential Algorithm for Solving Parity Games. In: Proceedings of ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, ACM Press, New York (Jan. 2006)"},{"key":"8_CR25","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Proceedings of the 3rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04) (2004)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Konikowska, B., Penczek, W.: Model Checking for Multivalued Logic of Knowledge and Time. In: AAMAS06, pp. 169\u2013176 (2006)","DOI":"10.1145\/1160633.1160661"},{"key":"8_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking: An Approach to the State Explosion Problem","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic model checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1006\/inco.1999.2836","volume":"157","author":"I. Walukiewicz","year":"2000","unstructured":"Walukiewicz, I.: Completeness of Kozen\u2019s axiomatisation of the propositional \u03bc-calculus. Information and Computation\u00a0157, 142\u2013182 (2000)","journal-title":"Information and Computation"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model checking multiagent systems with mable. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02) (2002)","DOI":"10.1145\/544862.544965"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69619-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T08:11:49Z","timestamp":1737015109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69619-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540696186","9783540696193"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69619-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}