戴维·巴恩斯;蒂鲍特·达迪尼尔;卢卡斯·海姆斯;Sr Djan Krstić;马丁·拉西克;乔舒亚·施奈德;德米特里·特拉泰尔 用于度量一阶动态逻辑的经过正式验证的优化监控器。 （英语） Zbl 07614527号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 432-453 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，Lect。注释计算。科学。12166、432--453（2020；Zbl 07614527） 全文： 内政部
马丁·拉西克;戴维·巴恩斯;德米特里·特拉泰尔 从非确定性到多头确定性有限状态传感器。 （英语） Zbl 07561620号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第127条，第14页（2019年）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Raszyk}等人，LIPIcs——莱布尼茨国际程序。通知。132，第127条，第14页（2019年；Zbl 07561620） 全文： 内政部
马丁·拉西克;戴维·巴恩斯;Sr Djan Krstić;德米特里·特拉泰尔 度量时间逻辑的多头监控。 （英语） Zbl 1437.68119号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 151-170 (2019).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Raszyk}等人，Lect。注释计算。科学。11781151-170（2019年；Zbl 1437.68119） 全文： 内政部 链接
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;Sr Djan Krstić;德米特里·特拉泰尔 几乎与事件率无关的监控。 （英语） Zbl 1425.68249号 形式方法系统。设计。 54，第3期，449-478（2019）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，《形式方法系统》。设计。54，第3号，449--478（2019；Zbl 1425.68249） 全文： 内政部 链接