Analyzing multi-agent systems with probabilistic model checking approach

• المؤلفون الرئيسيون: SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2012
• الموضوعات: Multi-agent systems; Probabilistic model checking; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4960; https://ink.library.smu.edu.sg/context/sis_research/article/5963/viewcontent/2337223.2337412.pdf
• المؤسسة: 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...