| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@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}
}