霍森·哈桑贝格；丹尼尔·克罗宁；亚历山德罗·阿巴特 具有逻辑指导的认证强化学习。 （英语） Zbl 07732224号 Artif公司。智力。 322，文章ID 103949，22 p.（2023）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{H.Hasanbeig}等人，Artif。智力。322，文章ID 103949，22 p.（2023；Zbl 07732224） 全文： 内政部 arXiv公司
马克西姆·科尔迪；萨米人拉兹雷格；迈克，帕帕达基斯；Legay、Axel 变量密集型系统的统计模型检查：应用于缺陷检测和最小化。 （英语） Zbl 1522.68305号 正式Asp。计算。 33，第6期，1147-1172（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人，正式Asp。计算。33，编号6，1147--1172（2021；Zbl 1522.68305） 全文： 内政部
马克西姆·科尔迪；迈克，帕帕达基斯；Legay、Axel 变量密集型系统的统计模型检验。 （英语） Zbl 1507.68181号 Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 294-314 (2020).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人，Lect。票据计算。科学。12076、294--314（2020年；Zbl 1507.68181） 全文： 内政部
Daca，Przemysław公司；托马斯·亨辛格（Thomas A.Henzinger）。；简·Křetínsk；塔贾纳·彼得罗夫 更快的统计模型检查无界时间属性。 （英语） Zbl 1367.68188号 ACM事务处理。计算。日志。 第18条第2款第12条第25页（2017年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Daca｝等人，ACM Trans。计算。日志。18，第2号，第12条，第25页（2017；Zbl 1367.68188） 全文： 内政部 arXiv公司