Analyzing multi-agent systems with probabilistic model checking approach
- 1 June 2012
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02705257,p. 1337-1340
- https://doi.org/10.1109/icse.2012.6227085
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
This publication has 3 references indexed in Scilit:
- Symbolic model checking of probabilistic knowledgePublished by Association for Computing Machinery (ACM) ,2011
- Verifying Team Formation Protocols with Probabilistic Model CheckingPublished by Springer Nature ,2011
- Model Checking Hierarchical Probabilistic SystemsPublished by Springer Nature ,2010