Model checking mdps with a unique compact invariant set of distributions

By Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon. In QEST, 121–130. IEEE Computer Society, 2011.

Full Text:

Download PDF

Publisher Link:

http://doi.ieeecomputersociety.org/10.1109/QEST.2011.22

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",
}