%0 Conference Proceedings %F akshay:hal-01933978 %A Akshay, S. %A Genest, B. %A Vyas, N. %T {Distribution-based objectives for Markov Decision Processes} %B {LICS 2018, the 33rd Annual ACM/IEEE Symposium} %I {ACM Press} %C Oxford, United Kingdom %U http://dx.doi.org/10.1145/3209108.3209185 %8 July %D 2018