Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7455 LNAI, Issue , 2012, Pages 16-30

  Hao, Jianye ^a   Song, Songzheng ^b   Liu, Yang ^b   Sun, Jun ^c   Gui, Lin ^b   Dong, Jin Song ^b   Leung, Ho Fung ^a  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^c SINGAPORE UNIVERSITY OF TECHNOLOGY AND DESIGN   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DATA PRIVACY; DISPERSIONS; DYNAMICS; MARKOV CHAINS; MODEL CHECKING; NETWORK SECURITY; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ACCURATE ANALYSIS; AUTOMATIC ANALYSIS; COUNTER ABSTRACTION; DISCRETE TIME MARKOV CHAINS; EMPIRICAL EVALUATIONS; PROBABILISTIC MODEL CHECKING; STOCHASTIC BEHAVIOR; STOCHASTIC DYNAMICS;

MULTI AGENT SYSTEMS;

EID: 84885741336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32729-2_2     Document Type: Conference Paper

References (28)

1. Alpern, S.: Spatial dispersion as a dynamic coordination problem. Tech. rep., The London School of Economics (2001)
2. Baier, C, Katoen, J.: Principles of Model Checking, ch. 10, pp. 866-883. The MIT Press (2008)
3. 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. 4324, pp. 162-174. Springer, Heidelberg (2009)
4. Arthur, B.: Inductive reasoning and bounded rationality. American Economic Association Papers 84, 406-411 (1994)
5. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. AAMAS 12, 239-256 (2006)
6. Claus, C, Boutilier, C: The dynamics of reinforcement learning in cooperative multiagent systems. In: AAAI 1998, pp. 746-752 (1998)
7. Challet, D., Zhang, Y.: Emergence of cooperation and organization in an evolutionary game. Physica A 246, 407 (1994)
8. Holzmann, G.: The spin model checker. TSE 23(5), 279-295 (1997)
9. Gomes, E.R., Kowalczyk, R.: Dynamic analysis of multiagent-learning with e-greedy exploration. In: ICML 2009 (2009)
10. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 102-111 (1994)
11. Hao, J.Y., Song, S.Z., Liu, Y., Sun, J., Dong, J.S., Leung, H.F.: Online Technical Report, http://www.comp.nus.edu.sg/~pat/prima2012/
12. 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. 3920, pp. 441-444. Springer, Heidelberg (2006)
13. 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şu, G., Sokolsky, O., Tillmann, N. (Eds.) RV 2010. LNCS, Vol. 6418, pp. 122-135. Springer, Heidelberg (2010)
14. Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)
15. Stone, P., Veloso, M.: Multiagent systems: A survey from a machine learning perspective. Autonomous Robots 8, 345-383 (2000)
16. Pnueli, A., Xu, J., Zuck, L.: Liveness with (0, 1,∞)-Counter Abstraction. In: Brinksma, E., Larsen, K.G. (Eds.) CAV 2002. LNCS, Vol. 2404, pp. 107-122. Springer, Heidelberg (2002)
17. 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. 1038, pp. 42-55. Springer, Heidelberg (1996)
18. 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)
19. 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. 5643, pp. 709-714. Springer, Heidelberg (2009)
20. 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. 5850, pp. 123-139. Springer, Heidelberg (2009)
21. Sun, J., Song, S., Liu, Y.: Model Checking Hierarchical Probabilistic Systems. In: Dong, J.S., Zhu, H. (Eds.) ICFEM 2010. LNCS, Vol. 6447, pp. 388-403. Springer, Heidelberg (2010)
22. Grenager, T., Powers, R., Shoham, Y.: Dispersion games: general definitions and some specific learning results. In: AAAI 2002, pp. 398-403 (2002)
23. Tadjouddine, E.M., Guerin, F., Vasconcelos, W.: Abstraction for model checking game-theoretical properties of auction (short paper). In: AAMAS 2008, pp. 1613-1616 (2008)
24. Tuyls, K., Verbeeck, K., Lenaerts, T.: A selection-mutation model for q-learning in multi-agent systems. In: AAMAS 2003, pp. 693-700 (2003)
25. Vidal, J.M., Durfee, E.H.: Predicting the expected behavior of agents that learn about agents: The clri framework. AAMAS 6, 77-107 (2003)
26. Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: AAMAS 2002, pp. 952-959 (2002)
27. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: ASE 2000, pp. 3-12 (2000)
28. Azar, Y., Broder, A.Z., Karlin, A.R., Upfa, E.: Balanced allocations. SIAM Journal on Computing 29(1), 190-200 (2000)