Analyzing multi-agent systems with probabilistic model checking approach

• Main Authors: SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2012
• Subjects: Multi-agent systems; Probabilistic model checking; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4960; https://ink.library.smu.edu.sg/context/sis_research/article/5963/viewcontent/2337223.2337412.pdf
• Institution: Singapore Management University

Multi-agent systems, which are composed of autonomous agents, have been successfully employed as a modeling paradigm in many scenarios. However, it is challenging to guarantee the correctness of their behaviors due to the complex nature of the autonomous agents, especially when they have stochastic...