@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}}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A