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

• Main Authors: HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2012
• Subjects: Model Check; Multiagent System; Model Check Technique; Vickrey Auction; Statistical Model Check; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5025; https://ink.library.smu.edu.sg/context/sis_research/article/6028/viewcontent/Probabilistic_Model_Checking_Multi_agent_Behaviors_in_Dispersion_Games_Using_Counter_Abstraction.pdf
• Institution: Singapore Management University

Accurate analysis of the stochastic dynamics of multi-agent system is important but challenging. Probabilistic model checking, a formal technique for analysing a system which exhibits stochastic behaviors, can be a natural solution to analyse multi-agent systems. In this paper, we investigate this p...