Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes

Article Details
Title:	Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Article URLs:	https://doi.org/10.4230/LIPIcs.ICALP.2017.121
Alternative Article URLs:
Authors:	Raphaël Berthon	ENS Rennes
	Mickael Randour	Université libre de Bruxelles, Computer Science Department
	Jean-François Raskin	Université libre de Bruxelles, Computer Science Department
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://arxiv.org/abs/1702.05472
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icalp/BerthonRR17
Author Comments:

Intl. Colloquium on Automata, Languages, and Programming, ICALP 2017