Analyzing multi-agent systems with probabilistic model checking approach

10.1109/ICSE.2012.6227085

Saved in:

Bibliographic Details
Main Authors:	Song, S., Hao, J., Liu, Y., Sun, J., Leung, H.-F., Dong, J.S.
Other Authors:	TEMASEK LABORATORIES
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Multi-agent systems Probabilistic model checking
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/43162
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-43162
record_format	dspace
spelling	sg-nus-scholar.10635-431622024-11-08T17:54:33Z Analyzing multi-agent systems with probabilistic model checking approach Song, S. Hao, J. Liu, Y. Sun, J. Leung, H.-F. Dong, J.S. TEMASEK LABORATORIES COMPUTER SCIENCE Multi-agent systems Probabilistic model checking 10.1109/ICSE.2012.6227085 Proceedings - International Conference on Software Engineering 1337-1340 PCSED 2013-07-23T09:26:41Z 2013-07-23T09:26:41Z 2012 Conference Paper 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. <a href="https://doi.org/10.1109/ICSE.2012.6227085" target="_blank">https://doi.org/10.1109/ICSE.2012.6227085</a> 9781467310673 02705257 http://scholarbank.nus.edu.sg/handle/10635/43162 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Multi-agent systems Probabilistic model checking
spellingShingle	Multi-agent systems Probabilistic model checking Song, S. Hao, J. Liu, Y. Sun, J. Leung, H.-F. Dong, J.S. Analyzing multi-agent systems with probabilistic model checking approach
description	10.1109/ICSE.2012.6227085
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Song, S. Hao, J. Liu, Y. Sun, J. Leung, H.-F. Dong, J.S.
format	Conference or Workshop Item
author	Song, S. Hao, J. Liu, Y. Sun, J. Leung, H.-F. Dong, J.S.
author_sort	Song, S.
title	Analyzing multi-agent systems with probabilistic model checking approach
title_short	Analyzing multi-agent systems with probabilistic model checking approach
title_full	Analyzing multi-agent systems with probabilistic model checking approach
title_fullStr	Analyzing multi-agent systems with probabilistic model checking approach
title_full_unstemmed	Analyzing multi-agent systems with probabilistic model checking approach
title_sort	analyzing multi-agent systems with probabilistic model checking approach
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43162
_version_	1821216143366422528

Analyzing multi-agent systems with probabilistic model checking approach

Similar Items