{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T08:48:58Z","timestamp":1748854138436},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642327285"},{"type":"electronic","value":"9783642327292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32729-2_2","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T03:06:35Z","timestamp":1343271995000},"page":"16-30","source":"Crossref","is-referenced-by-count":4,"title":["Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction"],"prefix":"10.1007","author":[{"given":"Jianye","family":"Hao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Songzheng","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Gui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ho-fung","family":"Leung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Alpern, S.: Spatial dispersion as a dynamic coordination problem. Tech. rep., The London School of Economics (2001)"},{"key":"2_CR2","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking, ch. 10, pp. 866\u2013883. The MIT Press (2008)"},{"key":"2_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-04879-1_12","volume-title":"Safety and Security in Multiagent Systems","author":"P. Ballarini","year":"2009","unstructured":"Ballarini, P., Fisher, M., Wooldridge, M.: Uncertain Agent Verification through Probabilistic Model-Checking. In: Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) SASEMAS 2004-2006. LNCS (LNAI), vol.\u00a04324, pp. 162\u2013174. Springer, Heidelberg (2009)"},{"key":"2_CR4","first-page":"406","volume":"84","author":"B. Arthur","year":"1994","unstructured":"Arthur, B.: Inductive reasoning and bounded rationality. American Economic Association Papers\u00a084, 406\u2013411 (1994)","journal-title":"American Economic Association Papers"},{"key":"2_CR5","first-page":"239","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. AAMAS\u00a012, 239\u2013256 (2006)","journal-title":"AAMAS"},{"key":"2_CR6","unstructured":"Claus, C., Boutilier, C.: The dynamics of reinforcement learning in cooperative multiagent systems. In: AAAI 1998, pp. 746\u2013752 (1998)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0378-4371(97)00419-6","volume":"246","author":"D. Challet","year":"1994","unstructured":"Challet, D., Zhang, Y.: Emergence of cooperation and organization in an evolutionary game. Physica A\u00a0246, 407 (1994)","journal-title":"Physica A"},{"issue":"5","key":"2_CR8","first-page":"279","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The spin model checker. TSE\u00a023(5), 279\u2013295 (1997)","journal-title":"TSE"},{"key":"2_CR9","unstructured":"Gomes, E.R., Kowalczyk, R.: Dynamic analysis of multiagent-learning with e-greedy exploration. In: ICML 2009 (2009)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06, 102\u2013111 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR11","unstructured":"Hao, J.Y., Song, S.Z., Liu, Y., Sun, J., Dong, J.S., Leung, H.F.: Online Technical Report, \n                    \n                      http:\/\/www.comp.nus.edu.sg\/~pat\/prima2012\/"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A. Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical Model Checking: An Overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"key":"2_CR14","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1008942012299","volume":"8","author":"P. Stone","year":"2000","unstructured":"Stone, P., Veloso, M.: Multiagent systems: A survey from a machine learning perspective. Autonomous Robots\u00a08, 345\u2013383 (2000)","journal-title":"Autonomous Robots"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-45657-0_9","volume-title":"Computer Aided Verification","author":"A. Pnueli","year":"2002","unstructured":"Pnueli, A., Xu, J., Zuck, L.: Liveness with (0,1,\u2009\u221e\u2009)-Counter Abstraction. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 107\u2013122. Springer, Heidelberg (2002)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: Agentspeak(l): Bdi Agents Speak Out in a Logical Computable Language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Song, S.Z., Hao, J.Y., Liu, Y., Sun, J., Leung, H.F., Dong, J.S.: Analyzing multi-agent systems with probabilistic model checking approach. In: ICSE 2012. NIER (2012)","DOI":"10.1109\/ICSE.2012.6227085"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-05089-3_9","volume-title":"FM 2009: Formal Methods","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Roychoudhury, A., Liu, S., Dong, J.S.: Fair Model Checking with Process Counter Abstraction. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 123\u2013139. Springer, Heidelberg (2009)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-642-16901-4_26","volume-title":"Formal Methods and Software Engineering","author":"J. Sun","year":"2010","unstructured":"Sun, J., Song, S., Liu, Y.: Model Checking Hierarchical Probabilistic Systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 388\u2013403. Springer, Heidelberg (2010)"},{"key":"2_CR22","unstructured":"Grenager, T., Powers, R., Shoham, Y.: Dispersion games: general definitions and some specific learning results. In: AAAI 2002, pp. 398\u2013403 (2002)"},{"key":"2_CR23","unstructured":"Tadjouddine, E.M., Guerin, F., Vasconcelos, W.: Abstraction for model checking game-theoretical properties of auction (short paper). In: AAMAS 2008, pp. 1613\u20131616 (2008)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Tuyls, K., Verbeeck, K., Lenaerts, T.: A selection-mutation model for q-learning in multi-agent systems. In: AAMAS 2003, pp. 693\u2013700 (2003)","DOI":"10.1145\/860575.860687"},{"key":"2_CR25","first-page":"77","volume":"6","author":"J.M. Vidal","year":"2003","unstructured":"Vidal, J.M., Durfee, E.H.: Predicting the expected behavior of agents that learn about agents: The clri framework. AAMAS\u00a06, 77\u2013107 (2003)","journal-title":"AAMAS"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: AAMAS 2002, pp. 952\u2013959 (2002)","DOI":"10.1145\/544862.544965"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: ASE 2000, pp. 3\u201312 (2000)","DOI":"10.1109\/ASE.2000.873645"},{"issue":"1","key":"2_CR28","first-page":"190","volume":"29","author":"Y. Azar","year":"2000","unstructured":"Azar, Y., Broder, A.Z., Karlin, A.R., Upfa, E.: Balanced allocations. SIAM Journal on Computing\u00a029(1), 190\u2013200 (2000)","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2012: Principles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32729-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:14:00Z","timestamp":1620130440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32729-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327285","9783642327292"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32729-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}