克里希南德·查特吉;劳伦特·多恩 具有预期有限范围的图形规划。 （英语） Zbl 1487.68209号 J.计算。系统。科学。 129, 1-21 (2022).MSC公司：68分20秒 60克40 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen}，J.Comput。系统。科学。129，1--21（2022；Zbl 1487.68209） 全文： 内政部 arXiv公司
阿里·阿萨迪;查特吉，克里什南杜;阿米尔·卡夫什达尔·戈哈沙迪;基亚拉什·穆罕默德;安德烈亚斯·帕夫罗甘尼斯 小树宽MC和MDP定量分析的快速算法。 （英语） Zbl 1517.68263号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 253-270 (2020).MSC公司：87年第68季度 60J20型 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Asadi}等人，Lect。注释计算。科学。12302253-270（2020年；Zbl 1517.68263） 全文： 内政部 arXiv公司
克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪 通过Positivestellensatz的概率程序终止分析。 （英语） Zbl 1411.68025号 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779, 3-22 (2016).MSC公司：68号30 60G42型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。9779，3--22（2016；Zbl 1411.68025） 全文： 内政部 arXiv公司