马丁·塔普勒;埃迪·穆什卡丁;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;药丸，印戈 随机反应系统的主动模型学习。 （英语） Zbl 1522.68348号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085481-500（2021年）。MSC公司：60年第68季度 68问题32 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人，Lect。注释计算。科学。13085、481--500（2021；Zbl 1522.68348） 全文： 内政部
克莱门斯·杜伯斯拉夫;帕特里克·科普曼;安妮·亚斯敏（Anni-Yasmin Turhan） 用本体增强概率模型检查。 （英语） Zbl 1522.68310号 正式Asp。计算。 33，第6号，885-921（2021）。MSC公司：60年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}等人，《形式语法》。计算。33，编号6885-921（2021；兹bl 1522.68310） 全文： 内政部 OA许可证
马哈茂德·本特里奥;保罗·巴拉里尼;保罗·亨里·库内德 Automaton-ABC：估计参数马尔可夫总体模型时空特性概率的统计方法。 （英语） Zbl 1514.68121号 西奥。计算。科学。 893, 191-219 (2021)。MSC公司：60年第68季度 62亿02 2005年6月2日 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bentriou}等人，Theor。计算。科学。893191-219（2021年；Zbl 1514.68121） 全文： 内政部
科什卡，米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 （英语） Zbl 1519.68055号 正式Asp。计算。 33，编号4-5，637-667（2021）。MSC公司：68号30 60J20型 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人，《正式Asp》。计算。33，编号4--5，637--667（2021；Zbl 1519.68055） 全文： 内政部