@article{mathur2020exactquantit,
 author = {Umang Mathur and Matthew S. Bauer and Rohit Chadha and A. Prasad Sistla and Mahesh Viswanathan},
 journal = {Formal Methods in System Design},
 title = {Exact Quantitative Probabilistic Model Checking Through Rational Search},
 url = {https://umangmathur.org/papers/rationalsearch-fmsd2020.pdf},
 year = {2020}
}