Approximating Probabilistic Automata by Regular Languages.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Browse the full CSL paper archive.