彼得·诺沃顿 0001
人员信息
附属: 捷克布尔诺Masaryk大学 隶属关系(前): 奥地利IST
其他同名人员
彼得·诺沃顿 0002 — IBM T.J.Watson研究中心,美国纽约州约克敦高地 (还有1个) 彼得·诺沃顿 0003 -捷克布拉格查尔斯大学 彼得·诺沃顿 0004 -捷克俄斯特拉发科技大学 佩特·诺沃特尼 0005 -IDEA-ENVI,Meziínchi,捷克共和国
优化列表
2020年–今天
2024 [i31] 克里希南德·查特吉 , Ehsan Kafshdar Goharshady公司 , 彼得·诺沃顿 , 多德·齐克里克 :
概率程序的等价性和相似性拒绝。 CoRR公司 abs/2404.03430 ( 2024 ) 2023 【j4】 克里希南德·查特吉 , Ehsan Kafshdar Goharshady公司 , 彼得·诺沃顿 , 吉里·扎雷维奇 , 多德·齐克里克 :
概率终止的词典学证明规则。 形式方面计算。 35 ( 2 ) : 11:1-11:25 ( 2023 ) [j3] 弗兰蒂斯克·布拉胡德克 , 彼得·诺沃顿 , 梅尔基奥尔尼克 , Pranay Thangeda公司 , Ufuk Topcu公司 :
具有资源约束的MDP的高效策略综合。 IEEE传输。 自动。 控制。 68 ( 8 ) : 4586-4601 ( 2023 ) [公元28年] 米查尔·艾达罗 , 西蒙·布莱吉 , 彼得·诺沃顿 :
资源约束目标POMDP中的屏蔽。 AAAI公司 2023 : 14674-14682 [公元27年] 大卫·克拉斯卡 , 安东宁·库切拉 , 马丁·库雷卡 , 维特穆西尔 , 彼得·诺沃顿 , Vojtech Rehák公司 :
多智能体系统中无限水平目标的综合弹性策略。 国际JCAI 2023 : 171-179 [i30] 大卫·克拉斯卡 , 安东·库塞拉 , 马丁·库雷卡 , 维特穆西尔 , 佩特·诺沃特尼 , Vojtech Rehák公司 :
多智能体系统中无限水平目标的综合弹性策略。 CoRR公司 abs/2305.10070 ( 2023 ) [i29] 纳撒纳埃尔·菲亚尔科 , 纳塔莉·贝特朗 , Patricia Bouyer-Decitre公司 , 罗曼·布伦吉尔 , 阿诺焦油醇 , 费恩雷 , 雨果·金伯特 , 弗洛里安·霍恩 , 拉斯穆斯·易卜生-延森 , 尼古拉斯·马基 , 本杰明·蒙梅格 , 彼得·诺沃顿 , 米凯尔·兰德尔 , 奥坎·桑库尔 , 西尔万·施密茨 , 奥利维尔·塞尔 , 马特乌斯·斯科姆拉 :
图形游戏。 CoRR公司 腹肌/230510546 ( 2023 ) [第28条] 克里希南德·查特吉 , 埃桑·卡夫什达尔·戈哈尔沙迪 , 梅赫达德·卡拉比 , 彼得·诺沃顿 , 多德·齐克里克 :
通过随机博弈求解长期平均回报稳健MDP。 CoRR公司 abs/2312.13912 ( 2023 ) 2022 [公元26年] 托马斯·布拉兹迪尔 , 大卫·克拉斯卡 , 安东·库塞拉 , 维特穆西尔 , 彼得·诺沃顿 , Vojtech Rehák公司 :
在不断变化的环境中对巡逻策略进行动态调整。 阿拉伯联合酋长国 2022 : 244-254 [i27] 托马斯·布拉兹迪尔 , 大卫·克拉斯卡 , 安东·库塞拉 , 维特穆西尔 , 彼得·诺沃顿 , Vojtech Rehák公司 :
在不断变化的环境中实时适应巡逻策略。 CoRR公司 abs/2206.08096 ( 2022 ) [i26] 米查尔·艾达罗 , 西蒙·布莱吉 , 彼得·诺沃顿 :
资源约束目标POMDP中的屏蔽。 CoRR公司 abs/2211.15349 ( 2022 ) 2021 [公元25年] 克里希南德·查特吉 , Ehsan Kafshdar Goharshady公司 , 佩特·诺沃特尼 , 吉里·扎雷维奇 , 多德·齐克里克 :
概率终止的词典学证明规则。 FM公司 2021 : 619-639 [公元24年] 弗兰蒂斯克·布拉胡德克 , 穆拉特·库布特佩 , 佩特·诺沃特尼 , 梅尔基奥尔尼克 , Pranay Thangeda公司 , Ufuk Topcu公司 :
马尔可夫决策过程中的燃料(FiMDP):一种实用的消费方法。 FM公司 2021 : 640-656 【c23】 克里希南德·查特吉 , Ehsan Kafshdar Goharshady公司 , 彼得·诺沃顿 , 多德·齐克里克 :
通过程序反转证明非终止。 PLDI公司 2021 : 1033-1048 [i25] 克里希南德·查特吉 , 埃桑·卡夫什达尔·戈哈尔沙迪 , 彼得·诺沃顿 , 多德·齐克里克 :
通过程序反转证明不终止。 CoRR公司 abs/2104.01189 ( 2021 ) 【i24】 弗兰蒂斯克·布拉胡德克 , 彼得·诺沃顿 , 梅尔基奥尔尼克 , Pranay Thangeda公司 , Ufuk Topcu公司 :
具有资源约束的MDP高效策略综合。 CoRR公司 abs/2105.02099 ( 2021 ) [第23条] 克里希南德·查特吉 , Ehsan Kafshdar Goharshady公司 , 佩特·诺沃特尼 , 吉里·扎雷维奇 , 多德·齐克里克 :
概率终止的词典学证明规则。 CoRR公司 abs/2108.02188 ( 2021 ) 2020 [公元22年] 托马斯·布拉兹迪尔 , 克里什南杜·查特吉 , 彼得·诺沃顿 , 吉里·瓦哈拉 :
马尔可夫决策过程中风险约束策略的强化学习。 AAAI公司 2020 : 9794-9801 【c21】 克里希南德·查特吉 , 马丁·切梅利克 , 深卡坎尼斯 , 彼得·诺沃顿 , 艾米莉·罗耶 :
多环境马尔可夫决策过程:有效分析和应用。 ICAPS公司 2020 : 48-56 [公元20年] 弗兰蒂斯克·布拉胡德克 , 托马斯·布拉兹迪尔 , 彼得·诺沃顿 , 梅尔基奥尔尼克 , Pranay Thangeda公司 , 乌福-托普库 :
消费马尔可夫决策过程的定性控制器综合。 CAV(2) 2020 : 421-447 [i22] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 彼得·诺沃顿 , 吉里·瓦哈拉 :
马尔可夫决策过程中风险约束策略的强化学习。 CoRR公司 abs/2002.12086 ( 2020 ) 【i21】 弗兰蒂斯克·布拉胡德克 , 托马斯·布拉兹迪尔 , 彼得·诺沃顿 , 梅尔基奥尔尼克 , Pranay Thangeda公司 , Ufuk Topcu公司 :
消费马尔可夫决策过程的定性控制器综合。 CoRR公司 abs/2005.07227 ( 2020 )
2010 – 2019
2019 [第19条] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·维兰 :
非确定性概率VASS的快速终止判定。 ATVA公司 2019 : 462-478 [第18条] 尼基尔·巴拉吉 , 斯特凡·基弗 , 彼得·诺沃顿 , 吉列尔莫·A·佩雷斯 , 马赫萨·谢尔莫哈马迪 :
关于值迭代的复杂性。 ICALP公司 2019 : 102:1-102:15 [第17条] 盖伊·阿夫尼 , 托马斯·汉津格 , 拉斯穆斯·易卜生-延森 , 彼得·诺沃顿 :
马尔可夫决策过程中的竞价博弈。 RP公司 2019 : 1-12 [i20] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·维兰 :
非确定性概率VASS的快速终止判定。 CoRR公司 abs/1907.11010 ( 2019 ) 2018 [注2] Sheshansh Agrawal公司 , 克里希南德·查特吉 , 彼得·诺沃顿 :
词典排名超级游戏:终止概率程序的有效方法。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 34:1-34:32 ( 2018 ) [j1] 克里希南德·查特吉 , 傅鸿飞 , 彼得·诺沃顿 , Rouzbeh Hasheminezhad公司 :
仿射概率程序定性和定量终止问题的算法分析。 ACM事务处理。 程序。 语言系统。 40 ( 2 ) : 7:1-7:45 ( 2018 ) [第16条] 克里希南德·查特吉 , 阿德里安·埃尔吉尤特 , 彼得·诺沃顿 , 欧文·鲁伊勒 :
具有折扣-Sum目标的POMDP中具有概率保证的期望优化。 国际JCAI 2018 : 4692-4699 [第15条] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·维兰 , 弗洛里安·祖勒格 :
VASS中终止时间渐近界的有效算法。 低收入国家 2018 : 185-194 [i19] 克里希南德·查特吉 , 阿德里安·埃尔吉尤特 , 彼得·诺沃顿 , 欧文·鲁伊勒 :
具有折扣和目标的POMDP中具有概率保证的期望优化。 CoRR公司 abs/1804.10601 ( 2018 ) [i18] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·维兰 , 弗洛里安·祖勒格 :
VASS中终止时间渐近界的有效算法。 CoRR公司 abs/1804.10985 ( 2018 ) [i17] 尼基尔·巴拉吉 , 斯特凡·基弗 , 佩特·诺沃特尼 , 吉列尔莫·A·佩雷斯 , 马赫萨·谢尔莫哈马迪 :
迭代热带计算的复杂性及其在马尔可夫决策过程中的应用。 CoRR公司 abs/1807.04920 ( 2018 ) 2017 [第14条] 克里希南德·查特吉 , 彼得·诺沃顿 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 多德·齐克里克 :
通过POMDP中的保证优化预期。 AAAI公司 2017 : 3725-3732 [第13条] 克里希南德·查特吉 , 彼得·诺沃顿 , 多德·齐克里克 :
概率终止的随机不变量。 POPL公司 2017 : 145-160 [i16] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·维兰 :
VASS中快速终止检测的有效算法。 CoRR公司 abs/1708.09253 ( 2017 ) 【i15】 Sheshansh Agrawal公司 , 克里希南德·查特吉 , 彼得·诺沃顿 :
词典排名超市:终止概率程序的有效方法。 CoRR公司 abs/1709.04037 ( 2017 ) 2016 [第12条] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 马丁·克梅利克 , 安奇特·古普塔 , 彼得·诺沃顿 :
POMDP中具有能量约束的随机最短路径:(扩展抽象)。 美国原子能机构 2016 : 1465年-1466年 [第11条] 托马斯·布拉兹迪尔 , 安东·库塞拉 , 佩特·诺沃特尼 :
能量马尔可夫决策过程中期望平均收益的优化。 ATVA公司 2016 : 32-49 [第10条] 托马斯·布拉兹迪尔 , Vojtech预测 , 安东·库塞拉 , 彼得·诺沃顿 :
图和游戏中的稳定性。 同意 2016 : 10:1-10:14 【c9】 克里希南德·查特吉 , 傅鸿飞 , 彼得·诺沃顿 , 鲁兹贝赫·哈什米尼扎德 :
仿射概率程序定性和定量终止问题的算法分析。 POPL公司 2016 : 327-342 [第14条] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 马丁·克梅利克 , 安奇特·古普塔 , 彼得·诺沃顿 :
POMDP中具有能量约束的随机最短路径。 CoRR公司 abs/1602.07565 ( 2016 ) [i13] 托马斯·布拉兹迪尔 , Vojtech预测 , 安东·库塞拉 , 彼得·诺沃顿 :
图和游戏中的稳定性。 CoRR公司 腹肌/1604.06386 ( 2016 ) [i12] 托马斯·布拉兹迪尔 , 安东·库塞拉 , 佩特·诺沃特尼 :
能量马尔可夫决策过程中期望平均收益的优化。 CoRR公司 abs/1607.00678 ( 2016 ) [i11] 克里希南德·查特吉 , 彼得·诺沃顿 , Dorde Zikelic公司 :
概率终止的随机不变量。 CoRR公司 abs/1611.01063 ( 2016 ) [i10] 克里希南德·查特吉 , 彼得·诺沃顿 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 多德·齐克里克 :
通过POMDP(技术报告)中的保证优化预期。 CoRR公司 abs/1611.08696 ( 2016 ) 2015 [c8] 托马斯·布拉兹迪尔 , 斯特凡·基弗 , 安东·库塞拉 , 彼得·诺沃顿 :
概率向量加法系统的长期平均行为。 低收入国家 2015 : 44-55 【c7】 托马斯·布拉兹迪尔 , 卢博斯·科伦恰克 , 扬·科卡尔 , 彼得·诺沃顿 , Vojtech Rehák公司 :
使用超时综合优化连续时间随机系统的性能。 QEST公司 2015 : 141-159 [第九章] 托马斯·布拉兹迪尔 , 斯特凡·基弗 , 安东·库塞拉 , 彼得·诺沃顿 :
概率向量加法系统的长期平均行为。 CoRR公司 abs/1505.02655 ( 2015 ) [i8] 克里希南德·查特吉 , 傅鸿飞 , 彼得·诺沃顿 , 鲁兹贝赫·哈什米尼扎德 :
仿射概率程序定性和定量终止问题的算法分析。 CoRR公司 abs/1510.08517 ( 2015 ) 2014 【c6】 托马斯·布拉兹迪尔 , 大卫·克拉斯卡 , 安东·库塞拉 , 彼得·诺沃顿 :
最小化消费系统的运行成本。 CAV汽车 2014 : 457-472 【c5】 托马斯·布拉兹迪尔 , 斯特凡·基弗 , 安东·库塞拉 , 彼得·诺沃顿 , Joost-Pieter Katoen公司 :
概率多计数器自动机中的零可达性。 CSL-LICS公司 2014 : 22:1-22:10 [i7] 托马斯·布拉兹迪尔 , 斯特凡·基弗 , 安东宁·库切拉 , 彼得·诺沃顿 , Joost-Pieter Katoen公司 :
概率多计数器自动机中的零可达性。 CoRR公司 abs/1401.6840 ( 2014 ) [i6] 托马斯·布拉兹迪尔 , 大卫·克拉斯卡 , 安东·库塞拉 , 彼得·诺沃顿 :
最小化消费系统的运行成本。 CoRR公司 abs/1402.4995 ( 2014 ) [i5] 托马斯·布拉兹迪尔 , 卢博斯·科伦恰克 , 扬·科卡尔 , 彼得·诺沃顿 , Vojtech Rehák公司 :
使用超时综合优化连续时间随机系统的性能。 CoRR公司 abs/1407.4777 ( 2014 ) 2013 【c4】 托马斯·布拉兹迪尔 , 陈陶璐 , Vojtech预测 , 彼得·诺沃顿 , 艾斯蒂斯·西马提斯 :
感兴趣的偿付能力马尔可夫决策过程。 FSTTCS公司 2013 : 487-499 [i4] 托马斯·布拉兹迪尔 , 陈陶璐 , Vojtech预测 , 彼得·诺沃顿 , 艾斯蒂斯·西马提斯 :
感兴趣的偿付能力马尔可夫决策过程。 CoRR公司 abs/1310.3119 ( 2013 ) 2012 【c3】 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 :
具有多种资源类型的消费博弈的有效控制器综合。 CAV汽车 2012 : 23-38 【c2】 托马斯·布拉兹迪尔 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·沃伊特扎克 :
最小化单对马尔可夫决策过程中的期望终止时间。 ICALP(二) 2012 : 141-152 【c1】 托马斯·布拉兹迪尔 , 安东·库塞拉 , 彼得·诺沃顿 :
具有无限支付函数的随机博弈中的确定性。 MEMICS公司 2012 : 94-105 [i3] 托马斯·布拉兹迪尔 , 克里希南德·查特吉 , 安东·库塞拉 , 彼得·诺沃顿 :
多资源类型消费博弈的高效控制器综合。 CoRR公司 腹肌/1202.0796 ( 2012 ) [i2] 托马斯·布拉兹迪尔 , 安东·库塞拉 , 彼得·诺沃顿 , 多米尼克·沃伊特扎克 :
最小化单对马尔可夫决策过程中的期望终止时间。 CoRR公司 abs/1205.1473 ( 2012 ) [i1] 托马斯·布拉兹迪尔 , 安东·库塞拉 , 彼得·诺沃顿 :
具有无限支付函数的随机博弈中的确定性。 CoRR公司 abs/1208.1639 ( 2012 )