苏里亚·西特加·德苏;阿努巴夫·斯利瓦斯塔瓦;M.V.Panduranga Rao 纠缠交换的模型检查。 （英语） Zbl 07643430号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.S.T.Desu}等人，Lect。注释计算。科学。13465，98-114（2022；Zbl 07643430） 全文： 内政部
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。 时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426） 全文： 内政部 arXiv公司
洛伦佐·克莱门特;Sławomir拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 （英语） Zbl 07566065号 日志。计算方法。科学。 18，第2号，第9号论文，37页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人，日志。计算方法。科学。18，第2号，第9号论文，37页（2022；Zbl 07566065） 全文： arXiv公司 链接
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 （英语） 兹比尔1478.68136 芬丹。通知。 178，编号1-2，101-138（2021）.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿}，芬丹。通知。178，编号1--2，101-138（2021；Zbl 1478.68136） 全文： 内政部 arXiv公司
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡 基于随机博弈抽象的概率时间自动机参数综合。 （英语） Zbl 1393.68096号 西奥。计算。科学。 735, 64-81 (2018).MSC公司：65年第68季度 第68季度第60季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Jovanović｝和\textit｛M.Kwiatkowska｝，Theor。计算。科学。735，64-81（2018；Zbl 1393.68096） 全文： 内政部
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 （英语） Zbl 1382.68145号 正式Asp。计算。 30，第2期，219-237（2018）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu}，正式Asp。计算。30，第2号，219--237（2018；Zbl 1382.68145） 全文： 内政部
亚历克桑德拉·约瓦诺维奇;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;佩拉斯、昆廷 概率时间自动机的符号最优期望时间可达性计算和控制器综合。 （英语） 兹比尔1359.68171 西奥。计算。科学。 669，1-21（2017）.MSC公司：65年第68季度 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jovanović}等人，Theor。计算。科学。669，1--21（2017；Zbl 1359.68171） 全文： 内政部 链接
亨利克·皮埃赫;格罗兹基，格热戈兹 用于研究通信过程的概率时间自动机。 （英语） Zbl 1322.68128号 国际期刊申请。数学。计算。科学。 25，第2期，403-414（2015）.MSC公司：65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Piech}和\textit{G.Grodzki}，国际期刊应用。数学。计算。科学。25，第2号，403--414（2015；Zbl 1322.68128） 全文： 内政部
利纳尔·米基耶夫;Neuhäußer，Martin R。;大卫·斯皮勒;维雷娜·沃尔夫 大型马尔可夫链DTA性质的现场验证和优化。 （英语） Zbl 1291.68295号 形式方法系统。设计。 43，第2期，313-337（2013）.MSC公司：87年第68季度 60J27型 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Mikeev}等人，《形式方法系统》。设计。43，No.2，313--337（2013；Zbl 1291.68295） 全文： 内政部
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检查。 （英语） Zbl 1291.68265号 形式方法系统。设计。 43，第2期，164-190（2013）.MSC公司：第68季度第60季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《形式方法系统》。设计。43，第2号，164--190（2013；Zbl 1291.68265） 全文： 内政部 链接
埃蒂安·安德烈;劳伦·弗里堡;杰里米·斯普洛斯顿 将逆方法推广到概率时间自动机。 （英语） Zbl 1291.68240号 形式方法系统。设计。 42，第2期，119-145（2013）.MSC公司：第68季度第60季度 87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《形式方法系统》。设计。42，No.2，119--145（2013；Zbl 1291.68240） 全文： 内政部
Waez，马里兰州Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 （英语） 兹比尔1302.68180 计算。科学。修订版。 9, 1-26 (2013).MSC公司：65年第68季度 68问题55 第68季度第60季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人，计算。科学。第9版，1-26（2013；Zbl 1302.68180） 全文： 内政部
法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager，Frits公司 无线传感器网络时钟同步协议分析。 （英语） Zbl 1307.68009号 西奥。计算。科学。 413，第1期，87-105（2012）.MSC公司：64岁以下 68M10个 68个M12 65年第68季度 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Heidarian}等人，Theor。计算。科学。413，第1号，87--105（2012；Zbl 1307.68009） 全文： 内政部
陈、陶璐;韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 根据时间自动机规范对连续时间马尔可夫链进行模型检查。 （英语） Zbl 1233.68156号 日志。计算方法。科学。 7，第1号，第12号文件，第34页（2011年）. 审核人：加布里埃尔·V·奥尔曼（布拉什奥夫） MSC公司：第68季度第60季度 2005年第45天 60J28型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，Log。计算方法。科学。7，第1号，第12号论文，34页（2011年；Zbl 1233.68156） 全文： 内政部
弗朗索瓦·拉鲁西尼;杰里米·斯普洛斯顿 状态爆炸几乎是概率可达的。 （英语） Zbl 1184.68318号 信息处理。莱特。 102，第6号，236-241（2007）.MSC公司：65年第68季度 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{J.Sproston}，Inf.过程。莱特。102，No.6，236--241（2007；Zbl 1184.68318） 全文： 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 使用数字时钟的概率时间自动机性能分析。 （英语） Zbl 1105.68063号 形式方法系统。设计。 29，第1期，33-78（2006）.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，《形式方法系统》。设计。29，第1号，第33--78条（2006；Zbl 1105.68063） 全文： 内政部 链接
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿 IEEE 1394 fireWire根竞争协议中截止时间属性的概率模型检查。 （英语） Zbl 1029.68017号 正式Asp。计算。 14，第3期，295-318（2002）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人，正式Asp。计算。14，第3号，295--318（2002；Zbl 1029.68017） 全文： 内政部