@第{zbMATH07270972条，作者={Fahrenberg、Uli和Legay、Axel和Quaas、Karin}，标题={用定量游戏计算分支距离}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={847}，页码={134--146}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2020.10.001}，关键词={68Q85,68Q45,68Q60,91A80}，zbMATH={7270972}，Zbl={1464.68239}}