Model checking mdps with a unique compact invariant set of distributions
By
BibTeX
@inproceedings{conf/qest/ChadhaKVAK11, author = "Chadha, Rohit and Korthikanti, Vijay Anand and Viswanathan, Mahesh and Agha, Gul and Kwon, YoungMin", title = "Model Checking MDPs with a Unique Compact Invariant Set of Distributions", booktitle = "QEST", crossref = "conf/qest/2011", ee = "http://doi.ieeecomputersociety.org/10.1109/QEST.2011.22", keywords = "formal methods", pages = "121-130", year = "2011", } @proceedings{conf/qest/2011, title = "Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011", ee = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6041098", isbn = "978-1-4577-0973-9", publisher = "IEEE Computer Society", year = "2011", }