Paper: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes (at LICS 2020)
Authors: Raphaël Berthon Shibashis Guha Jean-François Raskin
Abstract
No Abstract Available
BibTeX
@InProceedings{BerthonGuhaRaskin-MixingProbabilistic, author = {Raphaël Berthon and Shibashis Guha and Jean-François Raskin}, title = {Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {195--208}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }