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

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

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

Full description

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

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

Similar Items