{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:04:48Z","timestamp":1773615888560,"version":"3.50.1"},"reference-count":24,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Conrol Comp. Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.3103\/s0146411611070169","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T17:57:59Z","timestamp":1325786279000},"page":"390-396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Complexity of verification of nondeterministic probabilistic multiagent systems"],"prefix":"10.3103","volume":"45","author":[{"given":"M. K.","family":"Valiev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. I.","family":"Dekhtyar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"key":"6164_CR1","unstructured":"De Alfaro, L., Formal Verification of Probabilistic Systems, PhD Thesis, Stanford Univ., 1998."},{"key":"6164_CR2","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C. and Katoen, J., Principles of Model Checking, Cambridge: MIT, 2008."},{"key":"6164_CR3","doi-asserted-by":"crossref","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R., METATEM: An Introduction, in Formal Aspects of Computing, 1995, pp. 533\u2013549.","DOI":"10.1007\/BF01211631"},{"key":"6164_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R., Fisher, M., Pardavila, C., and Wooldridge, M., Model Checking AgentSpeak, Proc. Conf on Autonomous Agent and Multi Agent Systems-2003, 2003, pp. 409\u2013416.","DOI":"10.1145\/860575.860641"},{"key":"6164_CR5","unstructured":"Benerecetti, M., Guinchiglia, F., and Serafini, L., Model Checking Multiagent Systems, Technical Report no. 9708-07, Instituto Trentino di Cultura, 1998."},{"key":"6164_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., and Peled, D., Model Checking, Cambridge: MIT, 2000."},{"issue":"4","key":"6164_CR7","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"Courcoubetis, C. and Yannakakis, M., The Complexity of Probabilistic Verification, J. ACM, 1995, vol. 42, no. 4, pp. 857\u2013907.","journal-title":"J. ACM"},{"key":"6164_CR8","doi-asserted-by":"crossref","unstructured":"Dekhtyar, A. and Dekhtyar, M.I., The Theory of Interval Probabilistic Logic Programs, Ann. Mathem. Artif. Intell., 2009, nos. 3\u20134, pp. 355\u2013388.","DOI":"10.1007\/s10472-008-9104-7"},{"issue":"1","key":"6164_CR9","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., and Valiev, M., On Feasible Cases of Checking Multi-Agent Systems Behavior, Theoretical Computer Science, 2003, vol. 303, no. 1, pp. 63\u201381.","journal-title":"Theoretical Computer Science"},{"key":"6164_CR10","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., and Valiev, M.K., On Complexity of Verification of Interacting Agent Behavior, Annals of Pure and Applied Logic, 2006, vol. 141, pp. 336\u2013362.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6164_CR11","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-540-78127-1_14","volume":"4800","author":"M.I. Dekhtyar","year":"2008","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ya., and Valiev, M.K., Temporal Verification of Probabilistic Multi-Agent Systems. Pillars of Computer Science: Essays Dedicated to Boris Trakhtenbrot on the Occasion of His 85th Birthday, Lect. Notes Compt. Sci., 2008, vol. 4800, pp. 256\u2013265.","journal-title":"Pillars of Computer Science: Essays Dedicated to Boris Trakhtenbrot on the Occasion of His 85th Birthday, Lect. Notes Compt. Sci."},{"issue":"2","key":"6164_CR12","first-page":"201","volume":"1","author":"J. Dix","year":"2000","unstructured":"Dix, J., Nanni, M., and Subrahmanian, V.S., Probabilistic Agent Reasoning, ACM Transactions of Computational Logic, 2000, vol. 1, no. 2, pp. 201\u2013245.","journal-title":"ACM Transactions of Computational Logic"},{"key":"6164_CR13","doi-asserted-by":"crossref","unstructured":"Hansson, H. and Jonsson, B., A Logic for Reasoning about Time and Reliability, Formal Aspects of Computing, 1994, no. 5, pp. 512\u2013535.","DOI":"10.1007\/BF01211866"},{"key":"6164_CR14","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Model Checking for Probability and Time: from Theory to Practice, Proc. 18th IEEE Symp. On Logic in Computer Science, 2003, pp. 351\u2013360.","DOI":"10.1109\/LICS.2003.1210075"},{"key":"6164_CR15","doi-asserted-by":"crossref","unstructured":"Ng, R. and Subrahmanian, V.S., Probabilistic Logic Programming, Information and Computation, 1993, no. 2, pp. 150\u2013201.","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"6164_CR16","unstructured":"Rao, A.S. and Georgeff, M.P., Modeling Rational Agents within a BDI Architecture, Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann,1991."},{"key":"6164_CR17","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, Cambridge: MIT, 2000."},{"key":"6164_CR18","doi-asserted-by":"crossref","unstructured":"van der Hoek, W. and Wooldridge, M., Tractable Multiagent Planning for Epistemic Goals, Proc. Conf on Autonomous Agent and Multi Agent Systems-02, Bologna, Italy, 2002.","DOI":"10.1145\/545094.545095"},{"key":"6164_CR19","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y., Automatic Verification of Probabilistic Concurrent Finite State Programs, Proc. 26th IEEE Symp. on Foundations of Computer Science, pp. 327\u2013338.","DOI":"10.1109\/SFCS.1985.12"},{"key":"6164_CR20","doi-asserted-by":"crossref","unstructured":"Dunne, P.E. and Wooldridge, M., The Computational Complexity of Agent Verification, Proc. Intelligent Agents VIII: Agent Theories, Architectures and Languages, Meyer, J.-J. and Tambe, M., Eds., Lect. Notes Art. Intel., 2002, vol. 2333, pp. 115\u2013127.","DOI":"10.1007\/3-540-45448-9_9"},{"issue":"2","key":"6164_CR21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M. and Jennings, N., Intelligent Agents. Theory and Practice, The Knowledge Eng. Rev., 1995, vol. 10, no. 2, 115\u2013152.","journal-title":"The Knowledge Eng. Rev."},{"issue":"98","key":"6164_CR22","first-page":"9","volume":"35","author":"M.K. Valiev","year":"2008","unstructured":"Valiev, M.K. and Dekhtyar\u2019, M.I., Probabilistic Multiagent Systems: Semantics and Verification, Vestn. Tverskogo Gos. Univ., 2008, vol. 35, no. 98, pp. 9\u201322.","journal-title":"Vestn. Tverskogo Gos. Univ."},{"key":"6164_CR23","first-page":"198","volume":"1","author":"M.K. Valiev","year":"2009","unstructured":"Valiev, M.K. and Dekhtyar\u2019, M.I., Complexity of Verification of Multiagent Systems with Probabilistic States and Programs, Trudy V Mezhdunarodnoi nauchno-prakticheskoi konferentsii \u201cIntegrirovannye modeli i myagkie vychisleniya v iskusstvennom intellekte\u201d., (Proc, V Int. Sci.-Pract. Conf. \u201cIntegrated Models and Soft Calculations in Artificial Intellect\u201d), Moscow, 2009, vol. 1, pp. 198\u2013206.","journal-title":"Trudy V Mezhdunarodnoi nauchno-prakticheskoi konferentsii \u201cIntegrirovannye modeli i myagkie vychisleniya v iskusstvennom intellekte\u201d."},{"key":"6164_CR24","volume-title":"Ot mnogoagentnykh sistem k intellektual\u2019nym organizatsiyam","author":"V.B. Tarasov","year":"2002","unstructured":"Tarasov, V.B., Ot mnogoagentnykh sistem k intellektual\u2019nym organizatsiyam, (From Multiagent Systems to Intellectual Organizations), Moscow: Editorial URSS, 2002."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070169.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411611070169","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070169.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:06:26Z","timestamp":1773612386000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411611070169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":24,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["6164"],"URL":"https:\/\/doi.org\/10.3103\/s0146411611070169","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"18 October 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}