Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
6-2012
Abstract
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 characteristics. In this work, we propose to apply probabilistic model checking to analyze multi-agent systems. A modeling language called PMA is defined to specify such kind of systems, and LTL property and logic of knowledge combined with probabilistic requirements are supported to analyze system behaviors. Initial evaluation indicates the effectiveness of our current progress; meanwhile some challenges and possible solutions are discussed as our ongoing work.
Keywords
Multi-agent systems, Probabilistic model checking
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 34th International Conference on Software Engineering: Zurich Switzerland: ICSE '12, Zurich, Switzerland, June 2-9
First Page
1337
Last Page
1340
ISBN
9781467310673
Identifier
10.5555/2337223.2337412
Publisher
ACM
City or Country
Zurich, Switzerland
Citation
SONG, Songzheng; HAO, Jianye; LIU, Yang; SUN, Jun; LEUNG, Ho-fung; and DONG, Jin Song.
Analyzing multi-agent systems with probabilistic model checking approach. (2012). Proceedings of the 34th International Conference on Software Engineering: Zurich Switzerland: ICSE '12, Zurich, Switzerland, June 2-9. 1337-1340.
Available at: https://ink.library.smu.edu.sg/sis_research/4960
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.5555/2337223.2337412