Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICSE.2012.6227085
Title: Analyzing multi-agent systems with probabilistic model checking approach
Authors: Song, S.
Hao, J.
Liu, Y. 
Sun, J.
Leung, H.-F.
Dong, J.S. 
Keywords: Multi-agent systems
Probabilistic model checking
Issue Date: 2012
Source: Song, S.,Hao, J.,Liu, Y.,Sun, J.,Leung, H.-F.,Dong, J.S. (2012). Analyzing multi-agent systems with probabilistic model checking approach. Proceedings - International Conference on Software Engineering : 1337-1340. ScholarBank@NUS Repository. 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. © 2012 IEEE.
Source Title: Proceedings - International Conference on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/43162
ISBN: 9781467310673
ISSN: 02705257
DOI: 10.1109/ICSE.2012.6227085
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

1
checked on Dec 5, 2017

Page view(s)

77
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.