{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:10:10Z","timestamp":1736633410230,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540490265"},{"type":"electronic","value":"9783540490586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11925231_105","type":"book-chapter","created":{"date-parts":[[2006,11,6]],"date-time":"2006-11-06T14:48:34Z","timestamp":1162824514000},"page":"1095-1104","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"105_CR1","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":"105_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 672\u2013713","DOI":"10.1145\/585265.585270"},{"key":"105_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(01)80001-X","volume-title":"Rudiments of \u03bc-calculus. Studies in Logic","author":"A. Arnold","year":"2001","unstructured":"Arnold, A., Niwinski, D.: Rudiments of \u03bc-calculus. Studies in Logic, vol.\u00a0146. North-Holland, Amsterdam (2001)"},{"key":"105_CR4","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":"105_CR5","volume-title":"Handbook of Process Algebra","author":"J. Bradfield","year":"2001","unstructured":"Bradfield, J., Stirling, C.: Modal Logics and mu-Calculi: An Introduction, ch. 4. In: Handbook of Process Algebra, Elsevier Science, Amsterdam (2001)"},{"key":"105_CR6","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)"},{"issue":"5","key":"105_CR7","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/BF02947116","volume":"18","author":"Z. Cao","year":"2003","unstructured":"Cao, Z., Shi, C.: Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. J. Comput. Sci. Technol.\u00a018(5), 571\u2013579 (2003)","journal-title":"J. Comput. Sci. Technol."},{"key":"105_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1082473.1082495","volume-title":"AAMAS 2005","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic with Assignment. In: AAMAS 2005, vol.\u00a01, pp. 141\u2013148. ACM, New York (2005)"},{"key":"105_CR9","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)"},{"key":"105_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-30227-8_10","volume-title":"Logics in Artificial Intelligence","author":"N. de","year":"2004","unstructured":"de, N., Ferreira, C., Fisher, M., van der Hoek, W.: Practical Reasoning for Uncertain Agents. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 82\u201394. Springer, Heidelberg (2004)"},{"key":"105_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/11595014_53","volume-title":"Progress in Artificial Intelligence","author":"N. de","year":"2005","unstructured":"de, N., Ferreira, C., Fisher, M., van der Hoek, W.: Logical Implementation of Uncertain Agents. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 536\u2013547. Springer, Heidelberg (2005)"},{"key":"105_CR12","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, Massachusetts (1995)"},{"key":"105_CR13","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"},{"issue":"3","key":"105_CR14","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. J ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"J ACM"},{"issue":"3","key":"105_CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W. Hoek van der","year":"1997","unstructured":"van der Hoek, W.: Some considerations on the logic PFD: A logic combining modality and probability. J. Applied Non-Classical Logics\u00a07(3), 287\u2013307 (1997)","journal-title":"J. Applied Non-Classical Logics"},{"key":"105_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) SPIN 2002. LNCS, vol.\u00a02318, pp. 95\u2013111. Springer, Heidelberg (2002)"},{"key":"105_CR17","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":"105_CR18","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":"105_CR19","doi-asserted-by":"crossref","unstructured":"Jurdzinski, M., Paterson, M., Zwick, U.: A Deterministic Subexponential Algorithm for Solving Parity Games. In: Proceedings of ACM-SIAM Symposium on Discrete Algorithms, SODA 2006 (January 2006)","DOI":"10.1145\/1109557.1109571"},{"key":"105_CR20","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 2004) (2004)"},{"key":"105_CR21","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"B.P. Kooi","year":"2003","unstructured":"Kooi, B.P.: Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information\u00a012, 381\u2013408 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"105_CR22","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, Dordrecht (1993)"},{"key":"105_CR23","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":"105_CR24","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 2002) (2002)","DOI":"10.1145\/544862.544965"}],"container-title":["Lecture Notes in Computer Science","MICAI 2006: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11925231_105.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T21:44:52Z","timestamp":1736631892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11925231_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540490265","9783540490586"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11925231_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}