DMCA

Approximate verification of the symbolic dynamics of Markov chains. Technical report available at http://www.crans.org/˜genest/AAGT12.pdf

by Manindra Agrawal , S. Akshay , Blaise Genest , P. S. Thiagarajan
Citations:9 - 0 self