×

找到179份文件（结果1-100）

最新 引文 关联
克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;托拜厄斯·梅根多夫;Đ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）
全文： 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

小树宽产品图的定量验证。 （英语） Zbl 07799620号

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。213，第42条，第23页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。213，第42条，第23页（2021；Zbl 07799620）
全文： 内政部
克里希南德·查特吉;埃桑·卡夫什达尔·戈哈沙迪;诺沃顿，皮特;扎里沃基，基尼;Đikelić或

概率终止的词典学证明规则。 （英语） Zbl 1521.68034号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047619-639（2021年）。
MSC公司：68号30 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。13047、619--639（2021；Zbl 1521.68034）
全文： 内政部 arXiv公司
Pratyush阿加瓦尔;克里希南德·查特吉;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 1519.68231号

Artif公司。智力。 297，文章ID 103499，22 p.（2021）.
MSC公司：68T20型 2017年第68季度 68兰特 90立方厘米 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Artif。智力。297，文章ID 103499，第22页（2021；Zbl 1519.68231）
全文： 内政部 arXiv公司 链接
苏古曼·班萨尔;克里希南德·查特吉;莫舍·瓦尔迪。

关于量化游戏中的满意度。 （英语） Zbl 1467.68161号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 20-37 (2021).
MSC公司：68T20型 65年第68季度 90立方厘米35 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}等人，Lect。注释计算。科学。12651，20--37（2021；Zbl 1467.68161）
全文： 内政部 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公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

状态向量加法系统的多维长期平均问题。 （英语） Zbl 07559479号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。171，第23条，第22页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。171，第23条，22 p.（2020；Zbl 07559479）
全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;伊斯马·杰克;雅库布·斯沃博达

简化的生活游戏：算法和复杂性。 （英语） Zbl 07559393号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。170，第22条，第13页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。170，第22条，第13页（2020；兹bl 07559393）
全文： 内政部 arXiv公司
克里希南德·查特吉;Joost-Pieter卡托恩;马克西米利安·威宁格;托拜厄斯·温克勒

具有词典可达性-安全目标的随机博弈。 （英语） Zbl 1478.68151号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 398-420 (2020).
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。12225398--420（2020年；Zbl 1478.68151）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

带状态向量加法系统的长期平均行为。 （英语） Zbl 07649935号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。140，第27条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第27条，第16页（2019年；Zbl 07649935）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔

图和MDP中街道目标的近线性时间算法。 （英语） Zbl 07649915号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。140，第7条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第7条，第16页（2019年；Zbl 07649915）
全文： 内政部 arXiv公司
克里希南德·查特吉;尼尔·皮特曼

随机奇偶博弈的定性获胜组合。 （英语） Zbl 07649914号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。140，第6条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝和\textit｛N.Piterman｝，LIPIcs——莱布尼茨国际期刊。通知。140，第6条，第17页（2019年；Zbl 07649914）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰

决定具有非确定性的概率VASS的快速终止。 （英语） Zbl 1437.68127号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 462-478 (2019).
MSC公司：68问题85 68号30 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。11781、462--478（2019年；Zbl 1437.68127）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1442.68086号

日志。方法计算。科学。 15，第3号，第16号论文，45页（2019年）.
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086）
全文： arXiv公司
塞巴斯蒂安·阿明;埃齐奥·巴托西;克里希南德·查特吉;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 1511.68150号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 178-197 (2018).
MSC公司：60年第68季度 68周05 68瓦40 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。10982、178--197（2018年；Zbl 1511.68150）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;安东·库切拉;诺沃顿，皮特;多米尼克·维兰;弗洛里安·祖勒格

VASS中终止时间渐近界的有效算法。 （英语） Zbl 1497.68328号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。185-194 (2018).
MSC公司：68问题85 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。185-194（2018；Zbl 1497.68328）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;亚历山大·斯沃齐尔

奇偶对策的基于拟多项式集的符号算法。 （英语） Zbl 1415.68142号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 233-253 (2018).
MSC公司：60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，EPiC Ser。计算。57、233--253（2018；Zbl 1415.68142）
全文： 内政部 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）
全文： 内政部
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

图上符号计算的下限：强连接组件、活性、安全性和直径。 （英语） Zbl 1403.68063号

Czumaj，Artur（编辑），第29届年度ACM-SIAM离散算法研讨会论文集，2018年SODA，美国洛杉矶新奥尔良，2018年1月7日至10日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-61197-503-1/电子书）。2341-2356 (2018).
MSC公司：2005年第68季度 2010年第68季度 2017年第68季度 68兰特 68周25 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：第29届ACM-SIAM离散算法年度研讨会论文集，SODA 2018，美国洛杉矶新奥尔良，2018年1月7日至10日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。2341-2356（2018；Zbl 1403.68063）
全文： arXiv公司 链接
克里希南德·查特吉;傅洪飞;阿米尔·卡夫什达尔·戈哈沙迪

递归程序的非多项式最坏情况分析。 （英语） Zbl 1494.68053号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 41-63 (2017).
MSC公司：68号30 65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。10427，41-63（2017；Zbl 1494.68053）
全文： 内政部 arXiv公司
普拉纳夫·阿肖克;克里希南德·查特吉;Daca，Przemysław公司;简·Křetínsk;托拜厄斯·梅根多夫

马尔可夫决策过程中长期平均报酬的值迭代。 （英语） Zbl 1494.68126号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。104262201-221（2017年）。
MSC公司：65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Ashok}等人，Lect。注释计算。科学。10426，201-221（2017；Zbl 1494.68126）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

双向嵌套加权自动机。 （英语） Zbl 1442.68087号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。85，第5条，第16页（2017年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。85，第5条，第16页（2017年；Zbl 1442.68087）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔

用于平均对偶游戏的更快算法。 （英语） 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公司：91A43型 65年第68季度 68瓦40 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第39条，第14页（2017年；Zbl 1441.91015）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进的基于集合的奇偶博弈符号算法。 （英语） Zbl 1436.68194号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。82，第18条，第21页（2017年）。
MSC公司：60年第68季度 68瓦30 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，LIPIcs——莱布尼茨国际会议记录。通知。82，第18条，第21页（2017；Zbl 1436.68194）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。

精确性在定量可达性方面的代价。 （英语） Zbl 1431.68073号

Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10460, 367-381 (2017).
MSC公司：68问题85 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。10460367--381（2017；Zbl 1431.68073）
全文： 内政部
克里希南德·查特吉;诺沃顿，皮特;Đikelić或

概率终止的随机不变量。 （英语） Zbl 1380.68114号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。145-160 (2017).
MSC公司：68号30 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第44届ACM SIGPLAN编程语言原理年度研讨会论文集》，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。145-160（2017；Zbl 1380.68114）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进了奇偶性和Streett目标的算法。 （英语） Zbl 1459.68117号

日志。方法计算。科学。 13，第3号，第26号论文，27页（2017年）.
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第3号，第26号论文，27页（2017；Zbl 1459.68117）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森;奥托普，简

编辑下推自动机的距离。 （英语） Zbl 1440.68152号

日志。方法计算。科学。 13，第3号，第23号论文，23页（2017年）.
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第3号，第23号论文，23页（2017；Zbl 1440.68152）
全文： 内政部 arXiv公司
克里希南德·查特吉;祖扎纳Křetínská;简·Křetínsk

统一马尔可夫决策过程中对多个平均值目标的两种观点。 （英语） Zbl 1448.68280号

日志。方法计算。科学。 13，第2号，第15号论文，第50页（2017）.
MSC公司：68问题55 87年第68季度 90立方厘米 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第2号，第15号论文，50页（2017；Zbl 1448.68280）
全文： 内政部
克里希南德·查特吉;伯恩哈德克拉格尔;萨马拉·米什拉;安德烈亚斯·帕夫罗甘尼斯

加权递归状态机的更快算法。 （英语） 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。注释计算。科学。102018287-313（2017年；兹比尔1485.68057）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

定量监控自动机。 （英语） Zbl 1394.68207号

对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53412-0/pbk；978-3-562-53413-7/电子书）。计算机科学讲座笔记9837，23-38（2016）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。9837，23-38（2016；Zbl 1394.68207）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩

具有广义平均值目标的完全信息随机对策。 （英语） Zbl 1401.68238号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。247-256 (2016).
MSC公司：87年第68季度 2017年第68季度 60年第68季度 91A15型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。247--256（2016；Zbl 1401.68238）
全文： 内政部 arXiv公司
克里希南德·查特吉;沃尔夫冈·德沃亚克;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

具有条件下界的模型和目标分离：析取比合取更难。 （英语） Zbl 1401.68189号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。197-206 (2016).
MSC公司：60年第68季度 05C85号 2017年第68季度 65年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。197-206（2016年；兹比尔1401.68189）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1401.68155号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。76-85 (2016).
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。76-85（2016；Zbl 1401.68155）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

有界宽度的嵌套加权极限平均自动机。 （英语） Zbl 1398.68305号

Faliszewski，Piotr（编辑）等人，第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-016-3）。LIPIcs–莱布尼茨国际信息学论文集58，第24条，第14页（2016年）。
MSC公司：65年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。58，第24条，第14页（2016；Zbl 1398.68305）
全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

恒定树宽图中距离查询的最佳可达性和时空折衷。 （英语） Zbl 1397.68030号

Sankowski，Piotr（编辑）等人，2016年8月22日至24日在丹麦奥胡斯举行的第24届欧洲算法年会，ESA 2016。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-015-6）。LIPIcs–莱布尼茨国际信息学论文集57，第28条，第17页（2016年）。
MSC公司：68第05页 05C12号 05C85号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。57，第28条，第17页（2016；Zbl 1397.68030）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩

同步属性的计算树逻辑。 （英语） Zbl 1388.68184号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 98，14 p.（2016）。
MSC公司：60年第68季度 03B25号 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，LIPIcs——莱布尼茨国际程序。通知。55，第98条，第14页（2016年；兹bl 1388.68184）
全文： 内政部 arXiv公司
克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

恒定树宽组件并发系统中代数路径属性的算法。 （英语） Zbl 1347.68260号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。733-747 (2016).
MSC公司：68问题85 05C85号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）。733--747（2016；Zbl 1347.68260）
全文： 内政部 arXiv公司
克里希南德·查特吉;傅洪飞;诺沃顿，皮特;鲁兹贝·哈什米尼扎德

仿射概率程序定性和定量终止问题的算法分析。 （英语） Zbl 1347.68075号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。327-342 (2016).
MSC公司：68号30 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。327-342（2016年；兹bl 1347.68075）
全文： 内政部 arXiv公司
克里希南德·查特吉;马丁·切梅里克;马修·特雷科尔

具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1338.68166号

J.计算。系统。科学。 82，No.5，878-911（2016）.
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer

假设具有部分信息的并发反应式程序的保证综合。 （英语） Zbl 1420.68064号

Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9035, 517-532 (2015).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。9035，517--532（2015；Zbl 1420.68064）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

嵌套加权自动机。 （英语） Zbl 1401.68154号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。725-737 (2015).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。725--737（2015；Zbl 1401.68154）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;维罗尼卡·洛伊琴鲍尔

改进了单对和（k）对Streett目标的算法。 （英语） Zbl 1401.68190号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。269-280 (2015).
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。269--280（2015；Zbl 1401.68190）
全文： 内政部
克里希南德·查特吉;科马尔科娃，祖扎纳;简·Křetínsk

统一马尔可夫决策过程中对多个平均值目标的两种观点。 （英语） Zbl 1401.68171号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。244-256 (2015).
MSC公司：68问题55 87年第68季度 90立方厘米 91A40型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，2015年7月6日至10日，日本京都，2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。244--256（2015；Zbl 1401.68171）
全文： 内政部 arXiv公司
托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·切梅里克;安德烈亚斯·费尔纳;简·Křetínsk

通过学习马尔可夫决策过程中的小策略进行反例解释。 （英语） 兹比尔1381.68104

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206158-177（2015）。
MSC公司：68问题32 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。9206158--177（2015年；Zbl 1381.68104）
全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯

恒定树宽图中定量验证的快速算法。 （英语） Zbl 1381.68150号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206140-157（2015）。
MSC公司：60年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。9206140-157（2015年；Zbl 1381.68150）
全文： 内政部 arXiv公司 链接
克里希南德·查特吉;拉斯穆斯·易卜森·延森

并发平手游戏有限记忆策略下的值1问题。 （英语） Zbl 1372.91007号

Indyk，Piotr（编辑），第26届ACM-SIAM离散算法年度研讨会论文集，SODA 2015，加州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）（ISBN 978-1-61197-374-7；978-1-611197-373-0/电子书）。1018-1029 (2015).
MSC公司：91A15型 91A05型 91A43型 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{R.Ibsen-Jensen}，摘自：第26届ACM-SIAM离散算法年度研讨会论文集，SODA 2015，加州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1018-1029（2015年；兹比尔1372.91007）
全文： 内政部 arXiv公司
马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔

随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 （英语） Zbl 1364.93751号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。259-268 (2015).
MSC公司：93E03型 93C55美元 93二氧化碳 60年第68季度 91A15型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。259--268（2015年；Zbl 1364.93751）
全文： 内政部 链接
马里亚·斯沃雷奥娃;马丁·切梅里克;莱希，凯文;哈桑·费里特·恩塞尔;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔

使用具有奇偶目标的POMDP进行时序逻辑运动规划（案例研究论文）。 （英语） Zbl 1364.93521号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。233-238 (2015).
MSC公司：93C85号 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Svoreňová}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。233——238（2015；Zbl 1364.93521）
全文： 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯;普拉蒂什·戈亚尔

具有恒定树宽的递归状态机中代数路径属性的更快算法。 （英语） 兹比尔1346.68047

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。97-109 (2015).
MSC公司：68甲15 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛K.Chatterjee｝等人，《第42届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。97-109（2015；Zbl 1346.68047）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;拉斯穆斯·易卜森·延森;奥托普，简

编辑下推自动机的距离。 （英语） Zbl 1440.68151号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135121-133（2015年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。9135121-133（2015；Zbl 1440.68151）
全文： 内政部 链接
克里希南德·查特吉;劳伦特·多恩;莫舍·瓦尔迪。

概率成分合成的复杂性。 （英语） Zbl 1440.68045号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 108-120 (2015).
MSC公司：68号30 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。9135108-120（2015；Zbl 1440.68045）
全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;鲁帕克·马朱姆达尔

编辑定时自动机的距离。 （英语） Zbl 1360.68544号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。303-312 (2014).
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，《第17届ACM混合系统国际会议论文集：计算与控制》，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。303--312（2014；Zbl 1360.68544）
全文： 内政部 链接
托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·切梅里克;Forejt，Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛

使用学习算法验证马尔可夫决策过程。 （英语） Zbl 1448.68290号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 98-114 (2014).
MSC公司：60年第68季度 87年第68季度 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。8837、98——114（2014年；Zbl 1448.68290）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金

欧米茄规则游戏的末日平衡。 （英语） Zbl 1428.68181号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 78-97 (2014).
MSC公司：60年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8318，78-97（2014年；兹bl 1428.68181）
全文： 内政部 arXiv公司
克里希南德·查特吉

部分观测随机可达性与奇偶博弈。 （英语） Zbl 1425.68140号

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 1-4 (2014).
MSC公司：65年第68季度 87年第68季度 91A15型 91A43型 68-02 91-02
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}，莱克特。注释计算。科学。8634，1--4（2014；Zbl 1425.68140）
全文： 内政部
克里希南德·查特吉

定性并行平价博弈：有限理性。 （英语） Zbl 1417.68122号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，意大利罗马，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 544-559 (2014).
MSC公司：68问题85 65年第68季度 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}，莱克特。注释计算。科学。8704、544--559（2014；Zbl 1417.68122）
全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer

合成鲁棒系统。 （英语） Zbl 1302.93079号

学报信息。 51，编号3-4193-220（2014）.
MSC公司：93B35型 93B50个 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bloem｝等人，Acta Inf.51，No.3-4193-220（2014；兹bl 1302.93079）
全文： 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森

遍历平均路径游戏的复杂性。 （英语） Zbl 1410.68156号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 122-133 (2014).
MSC公司：65年第68季度 2017年第68季度 91A15型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{R.Ibsen-Jensen}，莱克特。注释计算。科学。8573、122--133（2014；Zbl 1410.68156）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩

与弱小对手的比赛。 （英语） Zbl 1409.68169号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 110-121 (2014).
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{L.Doyen}，莱克特。注释计算。科学。8573、110-121（2014；Zbl 1409.68169）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;苏米特·奈恩;莫舍·瓦尔迪。

具有有限记忆策略的部分观测随机奇偶博弈的复杂性。 （英语） Zbl 1405.68135号

Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿8412，242-257（2014）。
MSC公司：65年第68季度 91A15型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8412，242--257（2014；Zbl 1405.68135）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;雨果·金伯特;尤索夫·乌阿尔哈德

完美信息随机平均平价游戏。 （英语） 兹比尔1405.68225

Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿841210-225（2014）。
MSC公司：87年第68季度 65年第68季度 91A15型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8412、210-225（2014年；Zbl 1405.68225）
全文： 内政部
托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉

具有多个长期平均目标的马尔可夫决策过程。 （英语） Zbl 1326.90101号

日志。方法计算。科学。 10，第1号，第13号论文，29页（2014）.
MSC公司：90立方厘米 60年第68季度 90C29型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，日志。方法计算。科学。10，第1号，第13号论文，29页（2014；Zbl 1326.90101）
全文： 内政部
布拉兹迪尔，Tomáš;克里希南德·查特吉;Forejt，Vojtěch公司;安东·库切拉

马尔可夫决策过程稳定性的交易性能。 （英语） Zbl 1366.68087号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。331-340 (2013).
MSC公司：65年第68季度 87年第68季度 90立方厘米 93B50个
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}et al.，in：2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良市杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。331-340（2013年；Zbl 1366.68087）
全文： 内政部
克里希南德·查特吉;帕布，维纳亚克S。

实时系统的定量定时仿真功能和细化指标。 （英语） Zbl 1361.68019号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。273-282 (2013).
MSC公司：64岁以下 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{V.S.Prabhu}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。273--282（2013；Zbl 1361.68019）
全文： 内政部 arXiv公司
克里希南德·查特吉;亚历山大·科勒;乌尔里希·施密德

使用图形游戏自动分析实时调度。 （英语） Zbl 1361.90021号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。163-172 (2013).
MSC公司：90B35型 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。163-172（2013年；Zbl 1361.90021）
全文： 内政部
克里希南德·查特吉;纳塔娜·菲亚尔科夫

具有有限条件的无限状态博弈。 （英语） 兹比尔1356.68059

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，181-196（2013）。
MSC公司：2005年第68季度 05年3月 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{N.Fijalkow}，LIPIcs——莱布尼茨国际程序。通知。23、181--196（2013；Zbl 1356.68059）
全文： 内政部 arXiv公司
克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔

具有欧米伽规则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） 兹比尔1356.68142

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，165-180（2013）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。23、165-180（2013；Zbl 1356.68142）
全文： 内政部
克里希南德·查特吉;劳伦特·多恩;Randour，Mickael米凯尔;Jean-François拉斯金

通过窗口查看平均值和总值。 （英语） Zbl 1415.91065号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 118-132 (2013).
MSC公司：91A43型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8172、118--132（2013；Zbl 1415.91065）
全文： 内政部 arXiv公司
克里希南德·查特吉;莫妮卡·亨津格;玛纳斯·乔格勒卡尔;尼萨尔·沙阿

具有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公司
克里希南德·查特吉;Forejt，Vojtěch公司;多米尼克·沃伊特扎克

图和MDP中的多目标折扣奖励验证。 （英语） Zbl 1406.68051号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。计算机科学课堂讲稿8312，228-242（2013）。
MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。8312、228--242（2013；Zbl 1406.68051）
全文： 内政部
克里希南德·查特吉（编辑）;中士，吉里（编辑）

2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。 （英语） Zbl 1270.68020号

计算机科学课堂讲稿8087.柏林：施普林格出版社（ISBN 978-3-642-40312-5/pbk）。十六、851页。(2013).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}（编辑）和\textit{J.Sgall}（主编），2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（2013；Zbl 1270.68020）
全文： 内政部
克里希南德·查特吉;纱线维纳

多维mean-payoff游戏的超平面分离技术。 （英语） Zbl 1371.68106号

D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，500-515（2013）。
MSC公司：65年第68季度 05第57页 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{Y.Velner}，莱克特。注释计算。科学。8052，500--515（2013；Zbl 1371.68106）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件