恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 不可能导致自动机理论强化学习。 （英语） Zbl 1522.68269号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 42-57 (2022).MSC公司：65年第68季度 第68季度32 68T05年 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，Lect。注释计算。科学。13505，42-57（2022；Zbl 1522.68269） 全文： 内政部 链接
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。 时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；兹bl 07643426） 全文： 内政部 arXiv公司
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 （英语） Zbl 1478.68136号 芬丹。通知。 178，编号1-2，101-138（2021）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿}，芬丹。通知。178，编号1-2101-138（2021；兹bl 1478.68136） 全文： 内政部 arXiv公司
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 （英语） Zbl 1291.68265号 形式方法系统。设计。 43，第2期，164-190（2013）.MSC公司：60年第68季度 第68季度87 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《形式方法系统》。设计。43，第2164--190号（2013年；兹bl 1291.68265） 全文： 内政部 链接
马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 秘密定价的概率时间自动机。 （英语） Zbl 1254.68136号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，415-430（2009）。MSC公司：65年第68季度 2017年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人，莱克特。注释计算。科学。5710415-430（2009年；兹比尔1254.68136） 全文： 内政部 链接