尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 马尔可夫模型中的参数综合:一项温和的调查。 (英语) Zbl 1528.68226号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。13660, 407-437 (2022).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Jansen}等人,Lect。注释计算。科学。13660407--437(2022年;Zbl 1528.68226) 全文: 内政部 arXiv公司
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen,Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号 Olderog,Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。13030, 57-77 (2022).MSC公司:60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13030,57-77(2022年;兹比尔1522.68296) 全文: 内政部 哈尔