![](/img/cover-not-exists.png)
Approximate Verification of the Symbolic Dynamics of Markov Chains
Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P. S.Volume:
62
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/2629417
Date:
March, 2015
File:
PDF, 501 KB
english, 2015