迈克尔·巴肯克勒；卢卡·博托卢西；格罗·曼（Gerrit Großmann）；维雷娜·沃尔夫 马尔可夫种群模型平稳分布的抽象引导截断。 （英语） Zbl 1500.92085号 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 351-371 (2021). 审核人：郭颖欣（曲阜） MSC公司：92D25型 60J28型 PDF格式BibTeX公司 XML格式引用 \textit{M.Backenköhler}等人，Lect。注释计算。科学。12846、351--371（2021；Zbl 1500.92085） 全文： 内政部 arXiv公司
迈克尔·巴肯克勒；卢卡·博托卢西；格罗·曼（Gerrit Großmann）；维雷娜·沃尔夫 终端约束下马尔可夫跳过程的分析。 （英语） Zbl 1472.60140号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 210-229 (2021).MSC公司：60J76型 PDF格式BibTeX公司 XML格式引用 \textit{M.Backenköhler}等人，Lect。注释计算。科学。12651、210-229（2021；Zbl 1472.60140） 全文： 内政部 arXiv公司
王瑞；王明；关、勇；李晓娟 动态环境下移动机器人避障策略的建模与分析。 （英语） Zbl 1394.68392号 数学。问题。工程师。 2015年，文章ID 837259，11 p.（2015）.MSC公司：68T40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}等人，数学。问题。Eng.2015，文章ID 837259，11 p.（2015；Zbl 1394.68392） 全文： 内政部
亚历山大·安德烈琴科；蒂洛·克鲁格；大卫·斯皮勒 用形式化方法分析振荡行为。 （英语） Zbl 1427.92016年 Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8453, 1-25 (2014).MSC公司：92B25型 92C40型 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Andreychenko}等人，Lect。注释计算。科学。8453，1-25（2014；Zbl 1427.92016） 全文： 内政部
克里斯特尔·拜尔（编辑）；玛尔塔·奎亚特科夫斯卡（编辑） 概率模型检验专题前言。 （英语） 兹比尔1291.68245 形式方法系统。设计。 43，第2期，121-123（2013）.MSC公司：60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{M.Kwiatkowska}（主编），《形式方法系统》。设计。43，编号2121-123（2013年；兹bl 1291.68245） 全文： 内政部