朱莉娅·艾森特罗;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代：停止准则和学习算法。 （英语） Zbl 1507.91016号 Inf.计算。 285，B部分，文章ID 104886，32 p.（2022）.MSC公司：91A15型 91年68日 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人，《信息计算》。285，B部分，文章ID 104886，32 p.（2022；Zbl 1507.91016） 全文： DOI程序 arXiv公司 OA许可证
乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦 通过理性搜索进行精确的定量概率模型检查。 （英语） Zbl 1506.68057号 形式方法系统。设计。 56，编号1-390-126（2020）.MSC公司：60年第68季度 60J20型 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Mathur}等人，《形式方法系统》。设计。56，编号1--3，90-126（2020；Zbl 1506.68057） 全文： DOI程序
安德烈，艾蒂安;贝诺·德拉哈耶;福尼尔，波林 参数区间概率时间自动机的一致性。 （英语） Zbl 1494.68157号 J.日志。阿尔盖布。方法计划。 110，文章ID 100459，22 p.（2020）.MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100459，22 p.（2020；Zbl 1494.68157） 全文： DOI程序 arXiv公司
伊凡·埃姆齐瓦特;贝诺·德拉哈耶;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 概率时间Petri网。 （英语） Zbl 1346.68131号 Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。MSC公司：68问题85 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Emzivat｝等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131） 全文： DOI程序 OA许可证
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 （英语） Zbl 1291.68265号 形式方法系统。设计。 43，第2期，164-190（2013）.MSC公司：60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《形式方法系统》。设计。43，第2号，164--190（2013；Zbl 1291.68265） 全文： DOI程序 链接
安德烈，艾蒂安;劳伦·弗里堡;杰里米·斯普洛斯顿 逆方法对概率时间自动机的一种扩展。 （英语） Zbl 1291.68240号 形式方法系统。设计。 42，第2期，119-145（2013）.MSC公司：60年第68季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《形式方法系统》。设计。42，No.2，119--145（2013；Zbl 1291.68240） 全文： DOI程序
米歇尔·卡迪尔哈克;托马斯·Hérault;理查德·拉斯因;西尔万·佩伦内特;塞巴斯蒂安·蒂谢尔 使用APMC评估传感器网络的复杂MAC协议。 （英语） Zbl 1335.68013号 Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185，33-46（2007）。MSC公司：68个M12 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadilhac}等人，《电子》。注释Theor。计算。科学。185、33-46（2007年；Zbl 1335.68013） 全文： DOI程序 OA许可证
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 概率时间自动机的符号模型检验。 （英语） Zbl 1122.68075号 Inf.计算。 205，第7期，1027-1077（2007）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，《信息计算》。205，第7号，1027--1077（2007；Zbl 1122.68075） 全文： DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 使用数字时钟的概率时间自动机性能分析。 （英语） Zbl 1105.68063号 形式方法系统。设计。 29，第1期，33-78（2006）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，《形式方法系统》。设计。29，第1号，第33--78条（2006；Zbl 1105.68063） 全文： DOI程序 链接