{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:14:20Z","timestamp":1725758060413},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642451133"},{"type":"electronic","value":"9783642451140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45114-0_14","type":"book-chapter","created":{"date-parts":[[2013,11,22]],"date-time":"2013-11-22T05:10:42Z","timestamp":1385097042000},"page":"169-184","source":"Crossref","is-referenced-by-count":0,"title":["Complexity of Verification of Fuzzy Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Dekhtyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mars K.","family":"Valiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th IEEE Symp. on Foundations of Computer Science, pp. 46\u201357 (1977)","key":"14_CR1","DOI":"10.1109\/SFCS.1977.32"},{"unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (2000)","key":"14_CR2"},{"unstructured":"Baier, C., Katoen, J.: Principles of model checking. Kluwer Academic Publishers (2002)","key":"14_CR3"},{"key":"14_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45484-5_1","volume-title":"Formal Approaches to Agent-Based Systems","author":"M. Benerecetti","year":"2001","unstructured":"Benerecetti, M., Giunchiglia, F.: Model checking-based analysis of multiagent systems. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, pp. 1\u201315. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: Proc. of the First Intern. Conf. on Autonomous Agents and Multiagent Systems, pp. 952\u2013959 (2002)","key":"14_CR5","DOI":"10.1145\/544862.544965"},{"key":"14_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/3-540-45757-7_11","volume-title":"Logics in Artificial Intelligence","author":"M. Dekhtyar","year":"2002","unstructured":"Dekhtyar, M., Dikovsky, A., Valiev, M.: Complexity of multi-agent systems behavior. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 125\u2013136. Springer, Heidelberg (2002)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.07.030","volume":"149","author":"P. Ballarini","year":"2006","unstructured":"Ballarini, P., Fisher, M., Wooldridge, M.: Automated game analysis via probabilistic model checking: a case study. Electronic Notes in Theoretical Computer Science\u00a0149, 125\u2013137 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-78127-1_14","volume-title":"Pillars of Computer Science","author":"M. Dekhtyar","year":"2008","unstructured":"Dekhtyar, M., Dikovsky, A., Valiev, M.: Temporal verification of probabilistic multi-agent systems. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 256\u2013265. Springer, Heidelberg (2008)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"390","DOI":"10.3103\/S0146411611070169","volume":"45","author":"M. Valiev","year":"2011","unstructured":"Valiev, M., Dekhtyar, M.: Complexity of verification of nondeterministic probabilistic multiagent systems. Automatic Control and Computer Sciences\u00a045, 390\u2013396 (2011)","journal-title":"Automatic Control and Computer Sciences"},{"doi-asserted-by":"crossref","unstructured":"Avrachenkov, K., Sanches, E.: Fuzzy Markov chains and decision-making, pp. 143\u2013159. Kluwer Academic Publishers (2002)","key":"14_CR10","DOI":"10.1023\/A:1015729400380"},{"doi-asserted-by":"crossref","unstructured":"Buckley, J., Eslami, E.: An introduction to fuzzy logic and fuzzy sets. Physica-Verlag, Springer (2002)","key":"14_CR11","DOI":"10.1007\/978-3-7908-1799-7"},{"key":"14_CR12","first-page":"141","volume":"17","author":"R. Bellman","year":"1970","unstructured":"Bellman, R., Zadeh, L.: Decision-making in a fuzzy environment. Management Science Series\u00a017, 141\u2013164 (1970)","journal-title":"Management Science Series"},{"unstructured":"Vardi, M., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: Logic in Computer Science, pp. 332\u2013344 (1986)","key":"14_CR13"},{"key":"14_CR14","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. Journal of ACM\u00a042, 857\u2013907 (1995)","journal-title":"Journal of ACM"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-60045-0_48","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1995","unstructured":"Aziz, A., Singhal, V., Balarin, F., Brayton, R.: 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_CR16","volume-title":"Bargaining and markets","author":"M.J. Osborne","year":"1990","unstructured":"Osborne, M.J., Rubinstein, A.: Bargaining and markets. Academic Press, London (1990)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45114-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T16:05:02Z","timestamp":1558713902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45114-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642451133","9783642451140"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45114-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}