编辑配置文件（在新选项卡中打开） 阿舒托什·特里维迪 合著者距离 作者ID： 三维迪·阿舒托什 发布日期： 阿舒托什·特里维迪；特里维迪，A。 外部链接： 管理程序·ORCID公司 已编制索引的文档： 49出版物自2007年起 合著者： 51位合著者具有49联合出版物 941合著作者 全部的 前5名合著者 0 单作者的 18 桑卡拉·纳拉亚南·克里希纳 11 斯文·舍韦 11 多米尼克·沃伊特扎克 10 法比奥·萨蒙齐 8 恩斯特·莫里茨·哈恩 8 马特奥·佩雷斯 7 拉克希米·马纳萨 5 维伦达·戴夫 5 马尔钦·尤尔季安斯基 4 拉杰夫·阿鲁尔 4 德文德拉·巴韦 4 Forejt，Vojtěch公司 4 Marta Z.Kwiatkowska。 三 乔恩，帕沃 三 Chang，Bor-Yuh Evan先生 三 艾曼纽·菲利奥特 三 什巴希斯·古哈 三 格钦·诺曼 三 拉姆昌德拉·帕瓦德 2 泰勒·多曼 2 陆天汉 2 毗湿奴·穆拉利 2 桑卡拉纳拉亚南，斯里拉姆 2 塞伊德·蒂兹帕兹·尼亚里 2 贝鲁兹·图里 1 阿克沙伊，S。 1 马哈提·阿南德 1 斯坦利·巴克 1 帕特里夏·鲍耶 1 托马斯·布里海耶 1 陈、陶璐 1 达斯，安库什 1 迪帕克（Deepak），玛兰·赛·克里希纳（Maram Sai Krishna） 1 安托万杜兰·加塞林 1 吉勒·杰勒茨 1 安舒尔·古普塔 1 贾·萨加尔 1 阿维拉尔·库马尔 1 乌芒·马图尔 1 尼古拉斯·马佐奇 1 萨拉尔·莫拉里夫 1 本杰明·蒙梅格 1 巴达提·库马尔 1 Jean-François拉斯金 1 西马提斯，艾斯蒂斯 1 克里希纳·苏布拉马尼 1 米歇尔·乌梅尔斯 1 托马斯·瓦尔盖塞 1 阿尔瓦罗·贝拉斯克斯 1 Wojciechowski，Piotr J。 1 马吉德·扎马尼 系列 1 理论计算机科学 全部的 前5名领域 43 计算机科学（68至XX） 15 博弈论、经济学、金融和其他社会和行为科学（91-XX） 10 系统论；控制（93至XX） 7 运筹学、数学规划（90-XX） 5 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用142中的次91文件 引用人▼ 年份▼ 无限字符串的正则变换。 Zbl 1360.68538号 拉杰夫·阿鲁尔；艾曼纽·菲利奥特；阿舒托什·特里维迪 16 2012 时间自动机上的可达时间游戏。 Zbl 1171.68528号 马尔钦·尤尔季安斯基；阿舒托什·特里维迪 15 2007 递归时间自动机。 Zbl 1305.68115号 阿舒托什·特里维迪；多米尼克·沃伊特扎克 10 2010 一阶可定义字符串转换。 Zbl 1360.68555号 艾曼纽·菲利奥特；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪 9 2014 对称战略改进。 Zbl 1440.91005号 斯文·舍韦；阿舒托什·特里维迪；托马斯·瓦尔盖塞 8 2015 无模型强化学习中的Omega-regular目标。 兹比尔1527.68177 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 8 2019 用于概率分析和强化学习的Good-for-MDPs自动机。 Zbl 1507.68167号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 8 2020 针对ω-正则目标的无模型强化学习的忠实有效的奖励计划。 Zbl 1517.68331号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 8 2020 为定价的定时游戏增加负价格。 兹比尔1417.68120 托马斯·布里海耶；吉勒·杰勒茨；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；本杰明·蒙梅格；阿舒托什·特里维迪 7 2014 秘密定价的概率时间自动机。 Zbl 1254.68136号 马尔钦·尤尔季安斯基；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 6 2009 稠密时间可视下推自动机的逻辑特征。 Zbl 1435.68144号 德文德拉·巴韦；维伦达·戴夫；桑卡拉·纳拉亚南·克里希纳；拉姆昌德拉·帕瓦德；阿舒托什·特里维迪 6 2016 价格隐秘的定时自动机。（扩展摘要）。 Zbl 1171.68529号 马尔钦·尤尔季安斯基；阿舒托什·特里维迪 4 2008 随机奇偶博弈的无模型强化学习。 Zbl 07559477号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 4 2020 预期可达性-时间游戏。 Zbl 1290.68073号 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 三 2010 平均时间游戏。 Zbl 1248.68307号 马尔金·尤尔金斯基；阿舒托什·特里维迪 三 2008 精确地玩随机游戏。 Zbl 1364.91024号 陈、陶璐；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；西马提斯，艾斯蒂斯；阿舒托什·特里维迪；米歇尔·乌梅尔斯 三 2012 递归混合自动机的决定因素是什么？ Zbl 1364.68254号 桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪 三 2015 从一元二阶可定义字符串变换到换能器。 Zbl 1366.68133号 拉杰夫·阿鲁尔；安托万杜兰·加塞林；阿舒托什·特里维迪 三 2013 随机博弈中的纯纳什均衡。 Zbl 1461.91029号 达斯，安库什；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪；多米尼克·沃伊特扎克 2 2015 预期可达性-时间游戏。 Zbl 1339.68146号 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 2 2016 重温随机计时游戏。 Zbl 1398.91054号 阿克沙伊，S。；帕特里夏·鲍耶；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪 2 2016 时间自动机上的均值支付博弈。 Zbl 1391.68070号 什巴希斯·古哈；马尔金·尤尔金斯基；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪 2 2016 一类完美的上下文敏感时间语言。 Zbl 1436.68161号 德文德拉·巴韦；维伦达·戴夫；克里希纳，S.N。；拉姆昌德拉·帕瓦德；阿舒托什·特里维迪 2 2016 用于稳健性验证的加权传感器。 Zbl 07559473号 艾曼纽·菲利奥特；尼古拉斯·马佐奇；Jean-François拉斯金；桑卡拉纳拉亚南，斯里拉姆；阿舒托什·特里维迪 2 2020 递归时间自动机的时限可达性问题是不可判定的。 Zbl 1451.68151号 桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪 1 2015 无限字符串的FO-定义转换。 Zbl 1391.68067号 维伦达·戴夫；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪 1 2016 有界速率多模系统的安全可调度性。 Zbl 1361.93019号 拉杰夫·阿鲁尔；Forejt，Vojtěch公司；萨拉尔·莫拉里夫；阿舒托什·特里维迪 1 2013 在时间范围内的上下文敏感语言上。 Zbl 07117544号 D.巴韦。；克里希纳，S.N。；帕瓦德，R。；特里维迪，A。 1 2019 词典编纂规则目标的无模型强化学习。 Zbl 1521.68121号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 1 2021 反应式程序中集合的类型定向边界。 兹比尔1522.68157 陆天汉；乔恩，帕沃；Chang，Bor-Yuh Evan先生；阿舒托什·特里维迪 1 2019 词典编纂规则目标的无模型强化学习。 Zbl 1521.68121号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 1 2021 适用于概率分析和强化学习的MDP自动机。 Zbl 1507.68167号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 8 2020 忠实有效的奖励方案，用于欧米伽规则目标的无模型强化学习。 兹比尔1517.68331 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 8 2020 随机奇偶博弈的无模型强化学习。 Zbl 07559477号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 4 2020 用于稳健性验证的加权传感器。 Zbl 07559473号 艾曼纽·菲利奥特；尼古拉斯·马佐奇；Jean-François拉斯金；桑卡拉纳拉亚南，斯里拉姆；阿舒托什·特里维迪 2 2020 无模型强化学习中的Omega-regular目标。 Zbl 1527.68177号 恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 8 2019 在时间范围内的上下文敏感语言上。 Zbl 07117544号 Bhave博士。；克里希纳，S.N。；帕瓦德，R。；特里维迪，A。 1 2019 反应式程序中集合的类型定向边界。 Zbl 1522.68157号 陆天汉；乔恩，帕沃；Chang，Bor-Yuh Evan先生；阿舒托什·特里维迪 1 2019 稠密时间可视下推自动机的逻辑特征。 Zbl 1435.68144号 德文德拉·巴韦；维伦达·戴夫；桑卡拉·纳拉亚南·克里希纳；拉姆昌德拉·帕瓦德；阿舒托什·特里维迪 6 2016 预期可达性-时间游戏。 Zbl 1339.68146号 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 2 2016 重温随机计时游戏。 Zbl 1398.91054号 阿克沙伊，S。；帕特里夏·鲍耶；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪 2 2016 时间自动机上的均值支付博弈。 Zbl 1391.68070号 什巴希斯·古哈；马尔金·尤尔金斯基；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪 2 2016 一类完美的上下文敏感时间语言。 Zbl 1436.68161号 德文德拉·巴韦；维伦达·戴夫；克里希纳，S.N。；拉姆昌德拉·帕瓦德；阿舒托什·特里维迪 2 2016 无限字符串的FO-定义转换。 Zbl 1391.68067号 维伦达·戴夫；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪 1 2016 对称战略改进。 Zbl 1440.91005号 斯文·舍韦；阿舒托什·特里维迪；托马斯·瓦尔盖塞 8 2015 递归混合自动机的决定因素是什么？ Zbl 1364.68254号 桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪 三 2015 随机博弈中的纯纳什均衡。 Zbl 1461.91029号 达斯，安库什；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪；多米尼克·沃伊特扎克 2 2015 递归时间自动机的时限可达性问题是不可判定的。 Zbl 1451.68151号 桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪 1 2015 一阶可定义字符串转换。 Zbl 1360.68555号 艾曼纽·菲利奥特；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪 9 2014 为定价的定时游戏增加负价格。 Zbl 1417.68120号 托马斯·布里海耶；吉勒·杰勒茨；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；本杰明·蒙梅格；阿舒托什·特里维迪 7 2014 从一元二阶可定义字符串变换到换能器。 Zbl 1366.68133号 拉杰夫·阿鲁尔；安托万杜兰·加塞林；阿舒托什·特里维迪 三 2013 有界速率多模系统的安全可调度性。 Zbl 1361.93019号 拉杰夫·阿鲁尔；Forejt，Vojtěch公司；萨拉尔·莫拉里夫；阿舒托什·特里维迪 1 2013 无限字符串的正则变换。 Zbl 1360.68538号 拉杰夫·阿鲁尔；艾曼纽·菲利奥特；阿舒托什·特里维迪 16 2012 精确地玩随机游戏。 兹比尔1364.91024 陈、陶璐；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；西马提斯，艾斯蒂斯；阿舒托什·特里维迪；米歇尔·乌梅尔斯 三 2012 递归时间自动机。 Zbl 1305.68115号 阿舒托什·特里维迪；多米尼克·沃伊特扎克 10 2010 预期可达性-时间游戏。 兹比尔1290.68073 Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 三 2010 秘密定价的概率时间自动机。 Zbl 1254.68136号 马尔钦·尤尔季安斯基；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；阿舒托什·特里维迪 6 2009 价格隐秘的定时自动机。（扩展摘要）。 Zbl 1171.68529号 马尔钦·尤尔季安斯基；阿舒托什·特里维迪 4 2008 平均时间游戏。 Zbl 1248.68307号 马尔金·尤尔金斯基；阿舒托什·特里维迪 三 2008 时间自动机上的可达时间游戏。 Zbl 1171.68528号 马尔钦·尤尔季安斯基；阿舒托什·特里维迪 15 2007 所有引用出版物 前5名被引用出版物 全部的 前5名158位作者引用 12 阿舒托什·特里维迪 10 桑卡拉·纳拉亚南·克里希纳 8 斯文·舍韦 7 皮埃尔·阿莱·雷尼尔 6 维伦达·戴夫 6 本杰明·蒙梅格 5 艾曼纽·菲利奥特 5 保罗·加斯丁 5 恩斯特·莫里茨·哈恩 5 Marta Z.Kwiatkowska。 5 杰里米·斯普洛斯顿 4 托马斯·布里海耶 4 洛伦佐·克莱门特 4 格钦·诺曼 4 马特奥·佩雷斯 4 法比奥·萨蒙齐 4 多米尼克·沃伊特扎克 三 阿克沙伊，S。 三 马西莫·贝内雷塞蒂 三 帕特里夏·鲍耶 三 达米安·巴斯托·加斯顿 三 什巴希斯·古哈 三 马尔钦·尤尔季安斯基 三 Sławomir拉索塔 三 穆拉诺，阿尼洛 三 安卡·穆斯科尔 三 阿德里亚诺·佩隆 三 加布里埃尔，小狗 2 拉杰夫·阿鲁尔 2 阿夫尼，盖伊 2 苏古曼·班萨尔 2 劳拉·博泽利 2 吕克·达托伊斯 2 丹尼尔·德尔尔巴 2 加勒坦杜埃努·塔博特 2 吉勒·杰勒茨 2 阿克塞尔·哈达德 2 伊斯马·杰克 2 奥尔纳库普弗曼 2 内森·勒霍特 2 法比奥·莫加维罗 2 小川，水井裕人 2 安德烈亚·图里尼 2 亚历山大·韦内特 2 张丽君 2 马丁·齐默尔曼 1 亚历山德罗·阿巴特 1 查塔尼亚·阿加瓦尔 1 巴奇（Edoardo Bacci） 1 克里斯特尔·拜尔 1 费利克斯·巴斯切尼斯 1 尼古拉斯·巴塞特 1 奥斯伯特·巴斯塔尼 1 尼古拉·鲍德鲁 1 德文德拉·巴韦 1 Bose，Sougata公司 1 米歇尔·卡迪尔哈克 1 Chang，Bor-Yuh Evan先生 1 克里希南德·查特吉 1 霍雷修·西尔斯泰 1 牧场克利夫兰 1 卡洛·科明 1 朱利安·克里斯托 1 Das、Subhro 1 朱尔根·丁格尔 1 泰勒·多曼 1 安托万杜兰·加塞林 1 马可·费拉 1 乌里·法伦贝格 1 冯伟志 1 达纳·菲斯曼 1 彼得·丰塔纳 1 Forejt，Vojtěch公司 1 傅洪飞 1 内森·富尔顿 1 奥利维尔，高文 1 马西耶·加兹达。 1 阿琳·戈敏 1 彼得·哈贝梅尔 1 谢尔盖，哈达德 1 克里斯托弗·阿恩斯费尔特·汉森 1 穆罕默德·哈桑贝格 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 Hoang，Trong Nghia村 1 彼得·霍夫曼 1 霍恩，弗洛里安 1 内森·亨特 1 尼尔斯·詹森 1 西蒙·扬奇 1 托拜厄斯·约翰 1 基绍尔州佐提穆鲁甘 1 阿列克桑德拉·乔瓦诺维奇。 1 塞巴斯蒂安·荣格斯 1 康，恩苏克 1 Klüppelholz，萨沙 1 安德烈亚斯·克雷布斯 1 简·Křetínsk 1 丹尼尔·科宁 1 萨尔瓦多拉托雷 1 圣菲拉福顿 …还有58位作者 全部的 前5名16篇连载文章中引用 8 计算机科学中的逻辑方法 7 信息与计算 5 理论计算机科学 三 国际计算机科学基础杂志 2 计算机基础理论 1 倒排索引综述 1 信息学报 1 计算机与系统科学杂志 1 离散事件动态系统 1 系统设计中的形式化方法 1 约束条件 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 非线性分析。混合动力系统 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 88 计算机科学（68至XX） 19 博弈论、经济学、金融和其他社会和行为科学（91-XX） 17 数学逻辑和基础（03-XX） 8 运筹学、数学规划（90-XX） 8 系统论；控制（93至XX） 1 群论与推广（20-XX） 按年份列出的引文