dc.contributor.author | Song, S | |
dc.contributor.author | Hao, J | |
dc.contributor.author | Liu, Y | |
dc.contributor.author | Sun, J | |
dc.contributor.author | Leung, HF | |
dc.contributor.author | Dong, JS | |
dc.contributor.editor | Glinz, M. | |
dc.contributor.editor | Murphy, G. | |
dc.contributor.editor | Pezze, M. | |
dc.date.accessioned | 2018-07-10T23:44:39Z | |
dc.date.available | 2018-07-10T23:44:39Z | |
dc.date.issued | 2012 | |
dc.identifier.isbn | 9781467310673 | |
dc.identifier.issn | 0270-5257 | |
dc.identifier.doi | 10.1109/ICSE.2012.6227085 | |
dc.identifier.uri | http://hdl.handle.net/10072/172976 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | IEEE - Institute of Electrical and Electronics Engineers | |
dc.publisher.place | United States of America | |
dc.relation.ispartofconferencename | ICSE 2012 34th International Conference on Software Engineering | |
dc.relation.ispartofconferencetitle | Proceedings - International Conference on Software Engineering | |
dc.relation.ispartofdatefrom | 2012-06-02 | |
dc.relation.ispartofdateto | 2012-06-09 | |
dc.relation.ispartoflocation | Zurich, Switzerland | |
dc.relation.ispartofpagefrom | 1337 | |
dc.relation.ispartofpageto | 1340 | |
dc.relation.ispartofedition | 1st | |
dc.subject.fieldofresearch | Software engineering not elsewhere classified | |
dc.subject.fieldofresearchcode | 461299 | |
dc.title | Analyzing multi-agent systems with probabilistic model checking approach | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
dc.description.version | Accepted Manuscript (AM) | |
gro.rights.copyright | © 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Dong, Jin-Song | |