蒂姆·夸特曼;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 多目标马尔可夫自动机。 （英语） Zbl 1522.68345号 形式方法系统。设计。 60，编号1，33-86（2022）.MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Quatmann}等人，《形式方法系统》。设计。60，编号1，33--86（2022；Zbl 1522.68345） 全文： 内政部 arXiv公司
卢卡·卡德利;拉杜·格罗苏;Larsen，Kim G。;米尔科·特里巴斯通;Tschaikowski，马克斯;安德烈·范丁 不确定连续时间马尔可夫链的集总性。 （英语） Zbl 1492.60219号 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，法国巴黎，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 391-409 (2021).MSC公司：60年25日 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cardelli｝等人，Lect。注释计算。科学。12846、391--409（2021；Zbl 1492.60219） 全文： 内政部 链接
蒂姆·夸特曼;Joost-Pieter卡托恩 长期平均和总回报的多目标优化。 （英语） Zbl 1467.68094号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 230-249 (2021).MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Quatmann}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。12651、230-249（2021；Zbl 1467.68094） 全文： 内政部 arXiv公司
Shirin Baghoolizadeh;阿里·莫瓦加尔;马吉迪，尼金 一种基于均匀化的连续时间随机博弈模型检验算法。 （英语） Zbl 1410.68215号 西奥。计算。科学。 756, 1-18 (2019).MSC公司：60年第68季度 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Baghoolizadeh}等人，Theor。计算。科学。756，1-18（2019年；Zbl 1410.68215） 全文： 内政部
保罗·皮荷;简·希尔斯顿 集体动力的政策综合。 （英语） Zbl 1514.68179号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 356-372 (2018).MSC公司：68问题85 60J28型 87年第68季度 90立方厘米 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{P.Piho}和\textit{J.Hillston}，莱克特。注释计算。科学。11024、356--372（2018；Zbl 1514.68179） 全文： 内政部 链接
哈提菲，哈桑;拉尔夫·威默;布雷丁，贝蒂娜;费雷尔·菲奥里蒂，路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 （英语） Zbl 1370.68173号 正式Asp。计算。 29，第4号，629-649（2017）.MSC公司：65年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人，《形式Asp》。计算。29，第4号，629--649（2017；Zbl 1370.68173） 全文： 内政部
约翰·费恩利;马库斯·拉贝。;舍韦，斯文;张丽君 连续时间Markov对策最优控制的有效逼近。 （英语） Zbl 1337.91015号 Inf.计算。 247, 106-129 (2016).MSC公司：91A15型 90立方厘米 87年第68季度 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}等人，《信息计算》。247106-129（2016；Zbl 1337.91015） 全文： 内政部 链接