Symbolic verification of multiagent graphical decision models

10.1002/int.20313

Saved in:

Bibliographic Details
Main Authors:	Zeng, Y., Poh, K.-L.
Other Authors:	INDUSTRIAL & SYSTEMS ENGINEERING
Format:	Article
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/63353
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-63353
record_format	dspace
spelling	sg-nus-scholar.10635-633532023-10-29T21:13:04Z Symbolic verification of multiagent graphical decision models Zeng, Y. Poh, K.-L. INDUSTRIAL & SYSTEMS ENGINEERING 10.1002/int.20313 International Journal of Intelligent Systems 23 11 1177-1195 IJISE 2014-06-17T07:03:05Z 2014-06-17T07:03:05Z 2008-11 Article Zeng, Y., Poh, K.-L. (2008-11). Symbolic verification of multiagent graphical decision models. International Journal of Intelligent Systems 23 (11) : 1177-1195. ScholarBank@NUS Repository. https://doi.org/10.1002/int.20313 08848173 http://scholarbank.nus.edu.sg/handle/10635/63353 000260096500002 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1002/int.20313
author2	INDUSTRIAL & SYSTEMS ENGINEERING
author_facet	INDUSTRIAL & SYSTEMS ENGINEERING Zeng, Y. Poh, K.-L.
format	Article
author	Zeng, Y. Poh, K.-L.
spellingShingle	Zeng, Y. Poh, K.-L. Symbolic verification of multiagent graphical decision models
author_sort	Zeng, Y.
title	Symbolic verification of multiagent graphical decision models
title_short	Symbolic verification of multiagent graphical decision models
title_full	Symbolic verification of multiagent graphical decision models
title_fullStr	Symbolic verification of multiagent graphical decision models
title_full_unstemmed	Symbolic verification of multiagent graphical decision models
title_sort	symbolic verification of multiagent graphical decision models
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/63353
_version_	1781782234147061760

Symbolic verification of multiagent graphical decision models

Similar Items