TY  - RPRT
TI  - Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
AU  - Raphaël Berthon
AU  - Mickael Randour
AU  - Jean-François Raskin
PY  - 2017
UR  - https://arxiv.org/abs/1702.05472
ID  - 1702.05472
ER  -