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

Additional URL

https://doi.org/10.5555/2337223.2337412

Share

COinS