克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;托拜厄斯·梅根多夫;Đikelić或 可靠完整的概率程序定量终止分析证书。 （英语） Zbl 1514.68027号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 55-78 (2022).MSC公司：68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。13371，55-78（2022；Zbl 1514.68027） 全文： 内政部 OA许可证
克里希南德·查特吉;埃桑·卡夫什达尔·戈哈沙迪;诺沃顿，皮特;扎里沃基，基尼;Đikelić或 概率终止的词典学证明规则。 （英语） Zbl 1521.68034号 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 619-639 (2021).MSC公司：68号30 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。13047、619--639（2021；Zbl 1521.68034） 全文： 内政部 arXiv公司