@文章{zbMATH06880837，作者={Jovanovi{\'c}，Aleksandra和Kwiatkowska，Marta}，Title={使用随机博弈抽象的概率时间自动机的参数综合}，FJournal＝{理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={735}，页码={64--81}，年份={2018年}，语言={英语}，DOI={10.1016/j.tcs.2017.05.005}，关键词={68Q45,68Q60,68Q87,91A15}，zbMATH={6880837}，Zbl={1393.68096}}