@收款{zbMATH07204573，作者={Berthon，Rapha{\“e}l和Randour，Mickael和Raskin，Jean-Fran{\c{c}}ois}，标题={保证{Markov}决策过程中奇偶目标的阈值约束}，BookTitle={2017年7月10日至14日，波兰华沙，ICALP 2017，第44届自动化、语言和编程国际研讨会。诉讼}，国际标准图书编号={978-3-95977-041-5}，页码={15}，注={Id/No 121}，年份={2017年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.ICALP.2017.121}，关键词={90C40,68Q25,91A43}，zbMATH={7204573}，Zbl={1442.90199}}