Exact quantitative probabilistic model checking through rational search.

Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Browse the full FMCAD paper archive.