塞巴斯蒂安·阿明；埃齐奥·巴托西；克里希南德·查特吉；Joost-Pieter卡托恩；安娜·索科洛娃 通过POMDP实现pMDP的参数无关策略。 （英语） Zbl 1514.68190号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11024, 53-70 (2018).MSC公司：87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Arming}等人，Lect。票据计算。科学。11024，53-70（2018；Zbl 1514.68190） 全文： 内政部 arXiv公司
克里希南德·查特吉；戈哈沙迪·阿米尔·卡夫什达尔；拉斯穆斯·易卜森·延森；纱线维纳 用于分析密码攻击的遍历平均值游戏。 （英语） Zbl 1520.94045号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第11条，第17页（2018年）。MSC公司：94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。118，第11条，第17页（2018；Zbl 1520.94045） 全文： 内政部 arXiv公司
罗德里克·布洛姆；克里希南德·查特吉；芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
克里希南德·查特吉；尼尔·皮特曼 义务布莱克威尔游戏和p-自动机。 （英语） Zbl 1432.91019号 J.塞姆。日志。 82，第2期，420-452（2017）.MSC公司：91A15型 91A05型 03B44号 03B70号 65年第68季度 2017年第68季度 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{N.Piterman}，J.Symb。日志。82，编号2420-452（2017；兹bl 1432.91019） 全文： 内政部 arXiv公司
克里希南德·查特吉；马丁·奇梅利克；Daca，Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 （英语） Zbl 1322.68137号 形式方法系统。设计。 47，第2期，230-264（2015）.MSC公司：87年第68季度 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《形式方法系统》。设计。47，第2号，230--264（2015；Zbl 1322.68137） 全文： 内政部
克里希南德·查特吉；玛纳斯·乔格勒卡尔；尼萨尔·沙阿 具有Büchi目标的Markov决策过程经典算法的平均案例分析。 （英语） Zbl 1318.68093号 西奥。计算。科学。 573, 71-89 (2015).MSC公司：65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Theor。计算。科学。573、71--89（2015年；Zbl 1318.68093） 全文： 内政部
克里希南德·查特吉；莫妮卡·亨津格 交替Büchi对策和最大终成分分解的高效动态算法。 （英语） 兹比尔1295.91019 美国临床医学杂志 第61号第3条第15条第40页（2014年）.MSC公司：91A43型 05C85号 60年第68季度 87年第68季度 68兰特 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{M.Henzinger}，J.ACM 61，第3号，第15条，40页（2014；Zbl 1295.91019） 全文： 内政部
克里希南德·查特吉；维什瓦纳斯·拉曼 数字合同签署的综合协议。 （英语） Zbl 1325.94115号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148152-168（2012）。MSC公司：94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman}，莱克特。票据计算。科学。7148152--168（2012年；Zbl 1325.94115） 全文： 内政部
克里希南德·查特吉；塞·库什克；托马斯·亨辛格（Thomas A.Henzinger）。 模型检验\（\omega\）-区间Markov链的正则性质。 （英语） Zbl 1138.68441号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962302-317（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。票据计算。科学。4962、302-317（2008年；Zbl 1138.68441） 全文： 内政部