Compositional synthesis of concurrent systems through causal model checking and learning

10.1007/978-3-319-06410-9-29

Saved in:

Bibliographic Details
Main Authors:	Lin, S.-W., Hsiung, P.-A.
Other Authors:	TEMASEK LABORATORIES
Format:	Conference or Workshop Item
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/117236
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-117236
record_format	dspace
spelling	sg-nus-scholar.10635-1172362015-01-12T12:01:38Z Compositional synthesis of concurrent systems through causal model checking and learning Lin, S.-W. Hsiung, P.-A. TEMASEK LABORATORIES 10.1007/978-3-319-06410-9-29 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8442 LNCS 416-431 2014-12-12T08:03:14Z 2014-12-12T08:03:14Z 2014 Conference Paper Lin, S.-W.,Hsiung, P.-A. (2014). Compositional synthesis of concurrent systems through causal model checking and learning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8442 LNCS : 416-431. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-319-06410-9-29" target="_blank">https://doi.org/10.1007/978-3-319-06410-9-29</a> 9783319064093 16113349 http://scholarbank.nus.edu.sg/handle/10635/117236 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-319-06410-9-29
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Lin, S.-W. Hsiung, P.-A.
format	Conference or Workshop Item
author	Lin, S.-W. Hsiung, P.-A.
spellingShingle	Lin, S.-W. Hsiung, P.-A. Compositional synthesis of concurrent systems through causal model checking and learning
author_sort	Lin, S.-W.
title	Compositional synthesis of concurrent systems through causal model checking and learning
title_short	Compositional synthesis of concurrent systems through causal model checking and learning
title_full	Compositional synthesis of concurrent systems through causal model checking and learning
title_fullStr	Compositional synthesis of concurrent systems through causal model checking and learning
title_full_unstemmed	Compositional synthesis of concurrent systems through causal model checking and learning
title_sort	compositional synthesis of concurrent systems through causal model checking and learning
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/117236
_version_	1681095309720027136

Compositional synthesis of concurrent systems through causal model checking and learning

Similar Items