Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes.

Raphal Berthon, Shibashis Guha, Jean-Franois Raskin

Browse the full LICS paper archive.