%0 Journal Article 
%F agrawal:hal-00920793
%A Agrawal, M.
%A Akshay, S.
%A Genest, B.
%A Thiagarajan, P.S.
%T Approximate Verification of the Symbolic Dynamics of Markov Chains
%J Journal of the ACM (JACM)
%V 62
%N 1
%P 34-65
%I Elsevier
%U https://hal.inria.fr/hal-00920793/document
%D 2015