Paper: Distribution-based objectives for Markov Decision Processes (at LICS 2018)
Authors: S. Akshay Blaise Genest Nikhil Vyas
Abstract
No Abstract Available
BibTeX
@InProceedings{AkshayGenestVyas-Distributionbasedob, author = {S. Akshay and Blaise Genest and Nikhil Vyas}, title = {Distribution-based objectives for Markov Decision Processes}, booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)}, year = {2018}, month = {July}, pages = {36--45}, location = {Oxford}, publisher = {IEEE Computer Society Press} }