Approximate Verification of the Symbolic Dynamics of Markov Chains.

Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan

Browse the full LICS paper archive.