普拉图什·阿加瓦尔;克里希南德·查特吉;Shreya Pathak;安德烈亚斯·帕夫罗甘尼斯;维克托·托曼 读-值-自等价下的无状态模型检查。 （英语） Zbl 1493.68200号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 341-366 (2021).MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Agarwal}等人，Lect。注释计算。科学。12759、341--366（2021年；Zbl 1493.68200） 全文： 内政部 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季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bloem｝等人，在：模型检查手册中。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;亚历山大·科勒;乌尔里希·施密德 图形游戏实时调度的自动竞争分析。 （英语） Zbl 1425.68044号 实时系统。 54，第1期，166-207（2018）.MSC公司：68平方米 2017年第68季度 90B35型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《实时系统》。54，第1号，166--207（2018；Zbl 1425.68044） 全文： 内政部
克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔 用于平均对偶游戏的更快算法。 （英语） Zbl 1441.91015号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第39条，第14页（2017年）。MSC公司：91年43月 65年第68季度 68瓦40 91A80 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第39条，第14页（2017年；Zbl 1441.91015） 全文： 内政部 arXiv公司
克里希南德·查特吉;纱线维纳 多维mean-payoff游戏的超平面分离技术。 （英语） Zbl 1371.68107号 J.计算。系统。科学。 88, 236-259 (2017).MSC公司：65年第68季度 05第57页 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{Y.Velner}，J.Comput。系统。科学。88、236——259（2017；Zbl 1371.68107） 全文： 内政部 arXiv公司
克里希南德·查特吉;伯恩哈德·克拉格尔;萨马拉·米什拉;安德烈亚斯·帕夫罗甘尼斯 加权递归状态机的更快算法。 （英语） Zbl 1485.68057号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 287-313 (2017).MSC公司：68号30 65年第68季度 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。10201、287--313（2017；Zbl 1485.68057） 全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 欧米茄规则游戏的末日平衡。 （英语） Zbl 1370.68164号 Inf.计算。 254，第2部分，296-315（2017）.MSC公司：65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《信息计算》。254，第2部分，296--315（2017；Zbl 1370.68164） 全文： 内政部 arXiv公司
马里亚·斯沃雷奥娃;简·Křetínsk;马丁·奇梅利克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 随机线性系统的时间逻辑控制，使用概率博弈的抽象精化。 （英语） Zbl 1351.93138号 非线性分析。，混合系统。 23, 230-253 (2017).MSC公司：93E03型 93立方厘米05 93C55美元 91A15型 93E25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}等人，《非线性分析》。，混合系统。23、230-253（2017年；Zbl 1351.93138） 全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉 马尔可夫决策过程稳定性的交易性能。 （英语） Zbl 1359.90147号 J.计算。系统。科学。 84, 144-170 (2017).MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，《计算杂志》。系统。科学。84、144-170（2017年；Zbl 1359.90147） 全文： 内政部 arXiv公司
克里希南德·查特吉;马丁·奇梅利克;拉加夫·古普塔;阿尤什·卡诺迪亚 POMDP中的最优成本几乎保证可达性。 （英语） Zbl 1351.68307号 Artif公司。智力。 234, 26-48 (2016).MSC公司：68周25 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Artif。智力。234、26-48（2016；Zbl 1351.68307） 全文： 内政部 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） 全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;辛格，罗希特 概率环境中的测量和综合系统。 （英语） 兹比尔1321.68344 美国临床医学杂志 62，第1号，第9条，第34页（2015年）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，J.ACM 62，No.1，Article No.9，34 p.（2015；Zbl 1321.68344） 全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;米凯尔·兰多尔;Jean-François拉斯金 通过窗口查看平均值和总值。 （英语） Zbl 1317.68065号 Inf.计算。 242, 25-52 (2015).MSC公司：65年第68季度 2017年第68季度 91A05型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《信息计算》。242、25-52（2015；Zbl 1317.68065） 全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森 同时进行的均值对均值博弈的定性分析。 （英语） Zbl 1318.91039号 Inf.计算。 242, 2-24 (2015).MSC公司：91年43月 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{R.Ibsen-Jensen}，Inf.Compute。242，2--24（2015；Zbl 1318.91039） 全文： 内政部 arXiv公司
纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;亚历山大·拉比诺维奇;Jean-François拉斯金 多均值和多能量游戏的复杂性。 （英语） Zbl 1309.68082号 Inf.计算。 241, 177-196 (2015).MSC公司：2017年第68季度 91A05型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Velner}等人，《信息计算》。24117-196（2015年；Zbl 1309.68082） 全文： 内政部 arXiv公司
克里希南德·查特吉;马纳斯，乔格勒卡;尼萨尔·沙阿 具有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） 全文： 内政部
贝拉德，贝特里奇;克里希南德·查特吉;纳塔利·斯兹纳杰德 马尔可夫决策过程的概率不透明性。 （英语） Zbl 1366.68213号 信息处理。莱特。 115，第1期，52-59（2015）.MSC公司：87年第68季度 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息处理》。莱特。115，第1号，52-59（2015；Zbl 1366.68213） 全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;塞巴斯蒂安·克林格;丹农纳农开 具有特殊权重结构的能量博弈的多项式时间算法。 （英语） Zbl 1303.91048号 算法 70，第3期，457-492（2014）.MSC公司：91年43月 91A05型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit｛K.Chatterjee｝等人，Algorithmica 70，第3457-492号（2014；Zbl 1303.91048） 全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格 交替Büchi对策和最大终成分分解的高效动态算法。 （英语） Zbl 1295.91019号 美国临床医学杂志 第61号第3条第15条第40页（2014年）.MSC公司：91年43月 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 1291.91021号 ACM事务处理。计算。日志。 第15号第2条第16条第44页（2014年）.MSC公司：91A15型 2017年第68季度 91年43月 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen}，ACM Trans。计算。日志。第15条第2款第16条第44页（2014年；Zbl 1291.91021） 全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 综合稳健系统。 （英语） Zbl 1302.93079号 学报信息。 51，编号3-4193-220（2014）.MSC公司：93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Acta Inf.51，No.3--4，193-220（2014；Zbl 1302.93079） 全文： 内政部
克里希南德·查特吉;莫妮卡·亨津格;玛纳斯·乔格勒卡尔;尼萨尔·沙阿 具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 （英语） Zbl 1291.68251号 形式方法系统。设计。 42，第3期，301-327（2013）.MSC公司：60年第68季度 87年第68季度 68瓦30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《形式方法系统》。设计。42，第3号，301-327（2013；Zbl 1291.68251） 全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩 能源平价游戏。 （英语） Zbl 1260.91039号 西奥。计算。科学。 458, 49-60 (2012).MSC公司：91年43月 91A05型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen}，Theor。计算。科学。458、49-60（2012年；Zbl 1260.91039） 全文： 内政部