Reasoning about mdps as transformers of probability distributions
By
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", }