丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 时间不确定性下的MITL验证。 （英语） Zbl 07643432号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 136-152 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人，Lect。注释计算。科学。13465，136--152（2022；Zbl 07643432） 全文： 内政部 arXiv公司
丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 （英语） 兹比尔1478.68174 西奥。计算。科学。 897, 135-163 (2022).MSC公司：60年第68季度 03B44号 68T40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人，Theor。计算。科学。897135-163（2022年；Zbl 1478.68174） 全文： 内政部 arXiv公司