尼尔斯·詹森;塞巴斯蒂安·荣格斯;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公司
凯文·巴茨;伊拉·费塞费尔特;马文·詹森;Joost-Pieter卡托恩;弗洛里安·科勒;克里斯托夫·马提亚;诺尔，托马斯 定量分离逻辑中蕴涵检查的基础。 （英语） Zbl 1528.68208号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 57-84 (2022).MSC公司：60年第68季度 03B70号 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{K.Batz}等人，Lect。注释计算。科学。13240，57-84（2022；Zbl 1528.68208） 全文： 内政部 arXiv公司
蒂姆·夸特曼;塞巴斯蒂安·荣格斯;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公司
拼写，Jip;斯文加·斯坦因;Joost-Pieter卡托恩 具有最佳预算的POMDP控制器。 （英语） Zbl 1522.68346号 布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 107-130 (2022).MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛J.Spel｝等人，Lect。注释计算。科学。13479，107-130（2022；Zbl 1522.68346） 全文： 内政部
陈明帅;Joost-Pieter卡托恩;卢茨·克林肯伯格;托拜厄斯·温克勒 程序是否产生正确的分布？通过生成函数验证概率程序。 （英语） 兹比尔1514.68028 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 79-101 (2022).MSC公司：第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，Lect。注释计算。科学。13371，79-101（2022；Zbl 1514.68028） 全文： 内政部 arXiv公司
托拜厄斯·温克勒;约翰内斯·莱曼;Joost-Pieter卡托恩 失控：通过控制状态消除减少概率模型。 （英语） Zbl 1498.68176号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 450-472 (2022).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Winkler}等人，Lect。注释计算。科学。13182，450-472（2022；Zbl 1498.68176） 全文： 内政部 arXiv公司
见鬼，莱纳斯;拼写，Jip;塞巴斯蒂安·荣格斯;约书亚·默曼;Joost-Pieter卡托恩 部分可观测性下随机控制器的渐变。 （英语） Zbl 1498.68159号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 127-150 (2022).MSC公司：60年第68季度 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Heck}等人，Lect。注释计算。科学。13182127-150（2022年；Zbl 1498.68159） 全文： 内政部 arXiv公司