Reasoning about mdps as transformers of probability distributions

By Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon. In QEST, 199–208. IEEE Computer Society, 2010.

Full Text:

Download PDF

Publisher Link:

http://dx.doi.org/10.1109/QEST.2010.35

BibTeX

@inproceedings{conf/qest/KorthikantiVAK10,
    author = "Korthikanti, Vijay Anand and Viswanathan, Mahesh and
              Agha, Gul and Kwon, YoungMin",
    title = "Reasoning about MDPs as Transformers of Probability
             Distributions",
    booktitle = "QEST",
    crossref = "conf/qest/2010",
    ee = "http://dx.doi.org/10.1109/QEST.2010.35",
    keywords = "formal methods",
    pages = "199-208",
    year = "2010",
}

@proceedings{conf/qest/2010,
    title = "QEST 2010, Seventh International Conference on the
             Quantitative Evaluation of Systems, Williamsburg, Virginia, USA,
             15-18 September 2010",
    isbn = "978-0-7695-4188-4",
    publisher = "IEEE Computer Society",
    year = "2010",
}