{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:18:11Z","timestamp":1737436691761,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747680"},{"type":"electronic","value":"9783540747697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74769-7_55","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T15:27:53Z","timestamp":1187969273000},"page":"510-522","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus"],"prefix":"10.1007","author":[{"given":"Lijun","family":"Wu","sequence":"first","affiliation":[]},{"given":"Jinshu","family":"Su","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"55_CR1","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(Extended Abstract). In: Pandu Rangan, C., Raman, V., Ramanujam, R. (eds.) Foundations of Software Technology and Theoretical Computer Science. LNCS, vol.\u00a01738, pp. 432\u2013445. Springer, Heidelberg (1999)"},{"key":"55_CR2","series-title":"Lecture Notes in Computer Science","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., Ramanujam, R. (eds.) Foundations of Software Technology and Theoretical Computer Science. LNCS, vol.\u00a01738, Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Model Checking Knowledge and Time. In: Stefan Leue, C.C. (ed.) 9th international SPIN workshop on model checking of software, pp. 1\u201316 (2002)","key":"55_CR3","DOI":"10.1007\/3-540-46017-9_9"},{"key":"55_CR4","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/CSFW.2004.1310747","volume-title":"The 17th IEEE Security Foundation Workshop","author":"R. Meyden van der","year":"2004","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. In: The 17th IEEE Security Foundation Workshop, pp. 280\u2013291. IEEE Computer Society Press, Los Alamitos (2004)"},{"unstructured":"Su, K.: Model Checking Temporal Logics of Knowledge in Distributed Systems. In: AAAI 2004. The Nineteenth National Conference on Artificial Intelligence (2004)","key":"55_CR5"},{"issue":"7","key":"55_CR6","first-page":"1012","volume":"15","author":"W. Li-Jun","year":"2004","unstructured":"Li-Jun, W., Kai-Le, S.: A Model Checking Algorithm for Temporal Logics of Knowledge in Multi-Agent System. Journal of Software\u00a015(7), 1012\u20131020 (2004)","journal-title":"Journal of Software"},{"key":"55_CR7","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 prepositional mu-calculus. Theoretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"55_CR8","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transaction on computers\u00a035(8), 687\u2013691 (1986)","journal-title":"IEEE Transaction on computers"},{"key":"55_CR9","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking, 1st edn. MIT Press, Cambridge (1999)","edition":"1"},{"key":"55_CR10","first-page":"142","volume":"2","author":"J.R. Burch","year":"1998","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L.: Symbolic model checking: 1020 states and beyond. Information and Computation\u00a02, 142\u2013170 (1998)","journal-title":"Information and Computation"},{"key":"55_CR11","doi-asserted-by":"crossref","first-page":"111","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, 1st edn., pp. 111\u2013120. MIT Press, Cambridge (1995)","edition":"1"},{"unstructured":"Mitchell, J.C., Shmatikov, V., Stern, U.: Finite-state analysis of SSL 3.0. In: Proc. 7th USENIX Security Symposium, pp. 201\u2013215 (1998)","key":"55_CR12"},{"key":"55_CR13","volume-title":"AAMAS 2005","author":"B. Wozna","year":"2005","unstructured":"Wozna, B., Lomuscio, A., Penczek, W.: Bounded Model Checking for Knowledge and Real Time. In: AAMAS 2005. Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi Agent Systems, ACM Press, New York (2005)"},{"key":"55_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Raimondi","year":"2006","unstructured":"Raimondi, F., Lomuscio, A.: MCMAS: a tool for verifying multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, Springer, Heidelberg (2006)"},{"key":"55_CR15","volume-title":"AAMAS 2006","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: AAMAS 2006. Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems, ACM Press, New York (2006)"},{"unstructured":"Su, K., Sattar, A., Wang, K., Luo, X., Governatori, G., Padmanabhan, V.: Observation-based model for BDI-agents. In: AAAI 2005 (2005)","key":"55_CR16"}],"container-title":["Lecture Notes in Computer Science","Bio-Inspired Computational Intelligence and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74769-7_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T16:54:43Z","timestamp":1737392083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74769-7_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747680","9783540747697"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74769-7_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}