Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes

DOI10.4230/LIPIcs.ICALP.2017.121zbMath1442.90199arXiv1702.05472MaRDI QIDQ5111453

Jean-François Raskin, Mickael Randour, Raphaël Berthon

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1702.05472

zbMATH Keywords

Markov decision processes; parity games; parity objectives; beyond worst-case synthesis

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

91A43: Games involving graphs

90C40: Markov and semi-Markov decision processes