Approximate verification of the symbolic dynamics of markov chains

10.1109/LICS.2012.17

Saved in:

Bibliographic Details
Main Authors:	Agrawal, M., Akshay, S., Genest, B., Thiagarajan, P.S.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Approximation Markov Processes Model Checking Probabilistic Computation
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40726
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40726
record_format	dspace
spelling	sg-nus-scholar.10635-407262024-11-08T17:54:16Z Approximate verification of the symbolic dynamics of markov chains Agrawal, M. Akshay, S. Genest, B. Thiagarajan, P.S. COMPUTER SCIENCE Approximation Markov Processes Model Checking Probabilistic Computation 10.1109/LICS.2012.17 Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 55-64 2013-07-04T08:10:56Z 2013-07-04T08:10:56Z 2012 Conference Paper Agrawal, M., Akshay, S., Genest, B., Thiagarajan, P.S. (2012). Approximate verification of the symbolic dynamics of markov chains. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 : 55-64. ScholarBank@NUS Repository. https://doi.org/10.1109/LICS.2012.17 9780769547695 http://scholarbank.nus.edu.sg/handle/10635/40726 000309059900011 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Approximation Markov Processes Model Checking Probabilistic Computation
spellingShingle	Approximation Markov Processes Model Checking Probabilistic Computation Agrawal, M. Akshay, S. Genest, B. Thiagarajan, P.S. Approximate verification of the symbolic dynamics of markov chains
description	10.1109/LICS.2012.17
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Agrawal, M. Akshay, S. Genest, B. Thiagarajan, P.S.
format	Conference or Workshop Item
author	Agrawal, M. Akshay, S. Genest, B. Thiagarajan, P.S.
author_sort	Agrawal, M.
title	Approximate verification of the symbolic dynamics of markov chains
title_short	Approximate verification of the symbolic dynamics of markov chains
title_full	Approximate verification of the symbolic dynamics of markov chains
title_fullStr	Approximate verification of the symbolic dynamics of markov chains
title_full_unstemmed	Approximate verification of the symbolic dynamics of markov chains
title_sort	approximate verification of the symbolic dynamics of markov chains
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40726
_version_	1821193210148421632

Approximate verification of the symbolic dynamics of markov chains

Similar Items