@收款{zbMATH07378303，作者={Spel、Jip和Junges、Sebastian和Katoen、Joost-Pieter}，标题={寻找可证明最优{Markov}链}，BookTitle={系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-72015-5；978-3-0.30-72016-2}，页码={173--190}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-72016-2_10}，关键词={68Q60,60J22,68Q87}，zbMATH={7378303}，Zbl={1467.68095}}