{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:27Z","timestamp":1773655887937,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540781264","type":"print"},{"value":"9783540781271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78127-1_14","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T12:59:40Z","timestamp":1202389180000},"page":"256-265","source":"Crossref","is-referenced-by-count":13,"title":["Temporal Verification of Probabilistic Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Dekhtyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander Ja.","family":"Dikovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mars K.","family":"Valiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science, Formal Models and Semantics, ch. 10","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Formal Models and Semantics, ch. 10, vol.\u00a0B, pp. 493\u2013574. Elsevier Science Publishers B.V, Amsterdam (1990)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/3-540-60045-0_48","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1995","unstructured":"Aziz, A., et al.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 155\u2013165. Springer, Heidelberg (1995)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., et al.: METATEM: An Introduction. Formal Aspects of Computing\u00a07, 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R., et al.: Model checking AgentSpeak. In: AAMAS 2003, pp. 409\u2013416 (2003)","DOI":"10.1145\/860575.860641"},{"key":"14_CR5","unstructured":"Benerecetti, M., Guinchiglia, F., Serafini, L.: Model checking multiagent systems. Technical Report # 9708-07. Instituto Trentino di Cultura (1998)"},{"key":"14_CR6","volume-title":"Model checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (2000)"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. J. ACM\u00a042(4), 857\u2013907 (1995)","journal-title":"J. ACM"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(02)00445-0","volume":"303","author":"M. Dekhtyar","year":"2003","unstructured":"Dekhtyar, M., Dikovsky, A., Valiev, M.: On feasible cases of checking multi-agent Systems Behavior. Theoretical Computer Science\u00a0303(1), 63\u201381 (2003)","journal-title":"Theoretical Computer Science"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1016\/j.apal.2005.12.003","volume":"141","author":"M.I. Dekhtyar","year":"2006","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ja., Valiev, M.K.: On complexity of verification of interacting agents\u2019 behavior. Annals of Pure and Applied Logic\u00a0141, 336\u2013362 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"14_CR10","first-page":"201","volume":"1","author":"J. Dix","year":"2000","unstructured":"Dix, J., Nanni, M., Subrahmanian, V.S.: Probabilistic agent reasoning. ACM Transactions of Computational Logic\u00a01(2), 201\u2013245 (2000)","journal-title":"ACM Transactions of Computational Logic"},{"key":"14_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-30227-8_8","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2004","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Verifying communication agents by model checking in a temporal action Logic. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 57\u201369. Springer, Heidelberg (2004)"},{"issue":"5","key":"14_CR12","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasning about time and reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR13","unstructured":"Marta, K.: Model Checking for probability and time: from theory to practice. In: Proc. 18th IEEE Symposium on Logic in Computer Science, pp. 351\u2013360 (2003)"},{"key":"14_CR14","volume-title":"Proc. 2nd Intern. Conf. on Principles of Knowledge Representation and Reasoning","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI architecture. In: Proc. 2nd Intern. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufman Publishers, San Francisco (1991)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent oriented programming. Artificial Intelligence\u00a060, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"14_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous agent systems","author":"V.S. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., et al.: Heterogeneous agent systems. MIT Press, Cambridge (2000)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: AAMAS 2002, Bologna, Italy (2002)","DOI":"10.1145\/545056.545095"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite state programs. In: Proceedings of 26th IEEE Symposium on Foundations of Computer Science, pp. 327\u2013338. IEEE, New York","DOI":"10.1109\/SFCS.1985.12"},{"key":"14_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45448-9_9","volume-title":"Intelligent Agents VIII","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Dunne, P.E.: The Computational complexity of Agent Verification. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, Springer, Heidelberg (2002)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., et al.: Model Checking Multiagent systems with MABLE. In: Proc. of the First Intern. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy (July 2002)","DOI":"10.1145\/544862.544965"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jennings, N.: Intelligent agents: Theory and practice. The Knowledge Engineering Review\u00a010(2) (1995)","DOI":"10.1017\/S0269888900008122"}],"container-title":["Lecture Notes in Computer Science","Pillars of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78127-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:13:22Z","timestamp":1606184002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78127-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781264","9783540781271"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78127-1_14","relation":{},"subject":[]}}