Approximate Verification of the Symbolic Dynamics of Markov Chains

Manindra Agrawal (1) , Sundararaman Akshay (2) , Blaise Genest (3) , P.S. Thiagarajan (4)

1 IIT Kanpur - Indian Institute of Technology Kanpur
2 Department of Computer Science and Engineering [Bombay]
3 SUMO - SUpervision of large MOdular and distributed systems
4 NUS - School of computing [Singapore]

Domaines: Informatique [cs]; Autre [cs.OH]

Manindra Agrawal, Sundararaman Akshay, Blaise Genest, P.S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. Journal of the ACM (JACM), 2015, 62 (1), pp.34-65. ⟨10.1145/2629417⟩. ⟨hal-00920793⟩