research
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
- Publication date
- 1 January 2017
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)