@inproceedings{Chadha_2011,
    doi = {10.1109/qest.2011.22},
    url = {https://doi.org/10.1109%2Fqest.2011.22},
    year = {2011},
    month = {sep},
    publisher = {{IEEE}},
    author = {Rohit Chadha and Vijay Anand Korthikanti and Mahesh Viswanathan and Gul Agha and Youngmin Kwon},
    title = {Model Checking {MDPs} with a Unique Compact Invariant Set of Distributions},
    booktitle = {2011 Eighth International Conference on Quantitative Evaluation of {SysTems}}
}

@inproceedings{Chadha_2011, doi = {10.1109/qest.2011.22}, url = {https://doi.org/10.1109%2Fqest.2011.22}, year = {2011}, month = {sep}, publisher = {{IEEE}}, author = {Rohit Chadha and Vijay Anand Korthikanti and Mahesh Viswanathan and Gul Agha and Youngmin Kwon}, title = {Model Checking {MDPs} with a Unique Compact Invariant Set of Distributions}, booktitle = {2011 Eighth International Conference on Quantitative Evaluation of {SysTems}} }