Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes.

Raphal Berthon, Mickael Randour, Jean-Franois Raskin

Browse the full ICALP paper archive.