Decidable and Expressive Classes of Probabilistic Automata.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben

Browse the full FOSSACS paper archive.