Login / Signup

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

Raphaël BerthonMickael RandourJean-François Raskin
Published in: ICALP (2017)
Keyphrases