Approximate verification of the symbolic dynamics of markov chains

• Main Authors: Agrawal, M., Akshay, S., Genest, B., Thiagarajan, P.S.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2013
• Subjects: Approximation; Markov Processes; Model Checking; Probabilistic Computation
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/40726
• Institution: National University of Singapore

10.1109/LICS.2012.17