{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:11:32Z","timestamp":1725495092199},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387446394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-44641-7_7","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T10:56:57Z","timestamp":1194951417000},"page":"63-72","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"R. Alur, L. de Alfaro, T. A. Henzinger, S. C. Krishnan, F. Y. C. Mang, S. Qadeer, S. K. Rajamni, and S, Tasiran, MOCHA user manual, University of Berkeley Report, 2000."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and T. A. Henzinger. Alternating-time temporal logic. In Journal of the ACM, 49(5): 672\u2013713.","DOI":"10.1109\/SFCS.1997.646098"},{"key":"7_CR3","first-page":"189","volume":"29","author":"M. Bourahla","year":"2005","unstructured":"M. Bourahla and M. Benmohamed. Model Checking Multi-Agent Systems. In Informalica 29: 189\u2013197, 2005.","journal-title":"Informalica"},{"key":"7_CR4","unstructured":"E. M. Clarke, J. O. Grumberg, and D. A. Peled. Model checking. The MIT Press, 1999."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/1082473.1082495","volume-title":"AAMAS05","author":"H. Ditmarsch van","year":"2005","unstructured":"H. van Ditmarsch, W van der Hoek, and B. P. Kooi. Dynamic Epistemic Logic with Assignment, in AAMAS05, ACM Inc, New York, vol. 1, 141\u2013148, 2005."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"N. de C. Ferreira, M. Fisher, W. van der Hoek: Logical Implementation of Uncertain Agents. Proc. EPIA-05, LNAI 3808, pp536\u2013547.","DOI":"10.1007\/11595014_53"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0168-0072(98)00033-5","volume":"96","author":"R. Fagin","year":"1999","unstructured":"R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Common knowledge revisited, Annals of Pure and Applied Logic 96: 89\u2013105, 1999.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Y. Halpern","year":"1990","unstructured":"J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. J ACM, 1990, 37(3): 549\u2013587.","journal-title":"J ACM"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"W. van der Hoek and M. Wooldridge. Model Checking Knowledge, and Time. In Proceedings of SPIN 2002, LNCS 2318, 95\u2013111, 2002.","DOI":"10.1007\/3-540-46017-9_9"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"W. van der Hoek and M. Wooldridge. Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica, 75: 125\u2013157, 2003.","journal-title":"Studia Logica"},{"key":"7_CR11","unstructured":"M. Kacprzak, A. Lomuscio and W. Penczek. 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":"7_CR12","doi-asserted-by":"crossref","unstructured":"M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. 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\/544964.544965"}],"container-title":["IFIP International Federation for Information Processing","Intelligent Information Processing III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-44641-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T17:57:00Z","timestamp":1684087020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-44641-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387446394"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-44641-7_7","relation":{},"subject":[]}}