Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

10.1007/978-3-642-32729-2-2

Saved in:

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

id	sg-nus-scholar.10635-78297
record_format	dspace
spelling	sg-nus-scholar.10635-782972024-11-08T17:54:29Z Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction Hao, J. Song, S. Liu, Y. Sun, J. Gui, L. Dong, J.S. Leung, H.-F. TEMASEK LABORATORIES COMPUTER SCIENCE 10.1007/978-3-642-32729-2-2 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7455 LNAI 16-30 2014-07-04T03:14:42Z 2014-07-04T03:14:42Z 2012 Conference Paper Hao, J.,Song, S.,Liu, Y.,Sun, J.,Gui, L.,Dong, J.S.,Leung, H.-F. (2012). Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7455 LNAI : 16-30. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-32729-2-2" target="_blank">https://doi.org/10.1007/978-3-642-32729-2-2</a> 9783642327285 03029743 http://scholarbank.nus.edu.sg/handle/10635/78297 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1007/978-3-642-32729-2-2
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Hao, J. Song, S. Liu, Y. Sun, J. Gui, L. Dong, J.S. Leung, H.-F.
format	Conference or Workshop Item
author	Hao, J. Song, S. Liu, Y. Sun, J. Gui, L. Dong, J.S. Leung, H.-F.
spellingShingle	Hao, J. Song, S. Liu, Y. Sun, J. Gui, L. Dong, J.S. Leung, H.-F. Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
author_sort	Hao, J.
title	Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
title_short	Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
title_full	Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
title_fullStr	Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
title_full_unstemmed	Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
title_sort	probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78297
_version_	1821201425055612928

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

Similar Items