Approximate Verification of the Symbolic Dynamics of Markov...

Approximate Verification of the Symbolic Dynamics of Markov Chains

Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P. S.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
62
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/2629417
Date:
March, 2015
File:
PDF, 501 KB
english, 2015
Conversion to is in progress
Conversion to is failed