{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:10:19Z","timestamp":1736640619294,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540497875"},{"type":"electronic","value":"9783540497882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11941439_11","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T09:53:05Z","timestamp":1163757185000},"page":"69-78","source":"Crossref","is-referenced-by-count":4,"title":["Verification of Multi-agent Systems Via Bounded Model Checking"],"prefix":"10.1007","author":[{"given":"Xiangyu","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Reynolds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/860575.860641","volume-title":"Proceedings of the second international joint conference on Autonomous agents and multiagent systems","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 409\u2013416. ACM Press, New York (2003)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Vardi, M.Y.: Model checking vs. theorem proving: A manifesto. In: KR, pp. 325\u2013334 (1991)","DOI":"10.1016\/B978-0-12-450010-5.50015-3"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Proc. 19th Workshop on SPIN, Grenoble (2002)","DOI":"10.1007\/3-540-46017-9_9"},{"key":"11_CR5","first-page":"1167","volume-title":"Proc. of the 1st Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Proc. of the 1st Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), vol.\u00a0III, pp. 1167\u20131174. ACM, New York (2003)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. In: Proc. of 17th IEEE Computer Security Foundations Workshop, pp. 280\u2013291 (2004)","DOI":"10.1109\/CSFW.2004.1310747"},{"key":"11_CR7","unstructured":"Su, K.: Model checking temporal logics of knowledge in distributed systems. In: McGuinness, D.L., Ferguson, G. (eds.) AAAI, pp. 98\u2013103. AAAI Press \/ The MIT Press (2004)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) ETAPS 1999 and TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"11_CR9","first-page":"135","volume":"51","author":"W. Penczek","year":"2002","unstructured":"Penczek, W., Wo\u017ana, B., Zbrzezny, A.: Bounded model checking for the universal fragment of CTL. Fundamenta Informaticae\u00a051, 135\u2013156 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae 55 (2003)","DOI":"10.1145\/860606.860609"},{"issue":"1","key":"11_CR11","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FUN-2004-63104","volume":"63","author":"B. Wo\u017ana","year":"2004","unstructured":"Wo\u017ana, B.: ACTL* properties and Bounded Model Checking. Fundamenta Informaticae\u00a063(1), 65\u201387 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1145\/1082473.1082657","volume-title":"AAMAS","author":"X. Luo","year":"2005","unstructured":"Luo, X., Su, K., Sattar, A., Chen, Q., Lv, G.: Bounded model checking knowledge and branching time in synchronous multi-agent systems. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) AAMAS, pp. 1129\u20131130. ACM, New York (2005)"},{"key":"11_CR13","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., Moses, Y., Vardi, M.: Reasoning about knowledge. MIT Press, Cambridge (1995)"},{"key":"11_CR14","first-page":"1","volume":"62","author":"M. Kacprzak","year":"2004","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: From bounded to unbounded model checking for temporal epistemic logic. Fundamenta Informaticae\u00a062, 1\u201320 (2004)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","AI 2006: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11941439_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:40:58Z","timestamp":1736638858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11941439_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540497875","9783540497882"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11941439_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}