卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 （英语） 兹伯利07531445 J.日志。阿尔盖布。方法计划。 127，文章ID 100778，32 p.（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，J.Log。阿尔盖布。方法计划。127，文章ID 100778，32 p.（2022；Zbl 07531445） 全文： 内政部 arXiv公司
戴维·巴恩斯;蒂鲍特·达迪尼尔;卢卡斯·海姆斯;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） 全文： 内政部