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
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2012
• 主題: Model Check; Multiagent System; Model Check Technique; Vickrey Auction; Statistical Model Check; Programming Languages and Compilers; Software Engineering
• 在線閱讀: 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

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...