理查·马
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i30] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
随机可达性游戏中的无记忆策略。 CoRR公司 abs/2401.13390 ( 2024 ) [i29] 莫汉·丹塔姆 , 理查·马 :
MDP中最安全能源-平均回报目标的有限记忆策略。 CoRR公司 abs/2404.14522 ( 2024 ) [第28条] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
并发随机博弈中B“uchi目标的策略复杂性。 CoRR公司 abs/2404.15483 ( 2024 ) 2023 [公元22年] 理查·马 , 埃里克·蒙迪 :
可计数MDP中点收益、平均收益和总收益目标的战略复杂性。 日志。 方法计算。 科学。 19 ( 1 ) ( 2023 ) [公元63年] 莫汉·丹塔姆 , 理查·马 :
简单随机博弈中能量平价目标的近似值。 MFCS公司 2023 : 38:1-38:15 [i27] 莫汉·丹塔姆 , 理查·马 :
简单随机博弈中能量平价目标的近似值。 CoRR公司 abs/2307.05762 ( 2023 ) 2022 [i26] 理查·马 , 埃里克·蒙迪 :
可计数MDP中点收益、平均收益和总收益目标的战略复杂性。 CoRR公司 abs/2203.07079 ( 2022 ) [i25] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可数随机双人游戏中可达性的策略复杂性。 CoRR公司 abs/2203.12024 ( 2022 ) 2021 [公元62年] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可计数MDP中的瞬态。 CONCUR公司 2021 : 11:1-11:15 [第61条] 理查·马 , 埃里克·蒙迪 :
可计数MDP中平均回报、总回报和点回报目标的战略复杂性。 CONCUR公司 2021 : 12:1-12:15 [公元60年] 理查·马 , 斯文·舍韦 , 帕特里克·托茨克 , 多米尼克·沃伊特扎克 :
具有几乎确定能量平价目标的简单随机对策存在于NP和coNP中。 FoSSaCS公司 2021 : 427-447 【i24】 理查·马 , 斯文·舍韦 , 帕特里克·托茨克 , 多米尼克·沃伊特扎克 :
具有最可靠能量平价目标的简单随机博弈属于NP和coNP。 CoRR公司 abs/2101.06989 ( 2021 ) [第23条] 理查·马 , 埃里克·蒙迪 :
可计数MDP中平均回报、总回报和点回报目标的战略复杂性。 CoRR公司 abs/2107.03287 ( 2021 ) 2020 [公元59年] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可数MDP中平价目标的策略复杂性。 CONCUR公司 2020 : 39:1-39:17 [公元58年] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 , 多米尼克·沃伊特扎克 :
如何在无限MDP(邀请谈话)中进行游戏。 ICALP公司 2020 : 3:1-3:18 [i22] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可数MDP中平价目标的策略复杂性。 CoRR公司 abs/2007.05065 ( 2020 ) 【i21】 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可计数MDP中的瞬态。 CoRR公司 abs/2012.13739 ( 2020 )
2010 – 2019
2019 [公元21年] 洛伦佐·克莱门特 , 理查·马 :
通过语言包含测试应用程序有效减少非确定性自动机。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) [公元57年] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可计数MDP中的Büchi目标。 ICALP公司 2019 : 119:1-119:14 [i20] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 帕特里克·托茨克 :
可计算MDP中的Büchi目标。 CoRR公司 abs/1904.11573 ( 2019 ) 2018 [公元20年] 安东·库塞拉 , 理查·马 :
用于检查下推自动机和有限状态自动机之间语义等价性的通用框架。 J.计算。 系统。 科学。 91 : 82-103 ( 2018 ) [公元19年] 安东尼娅·莱切纳 , 理查·马 , 乔尔·瓦克宁 , 阿默里·波利 , 詹姆斯·沃雷尔 :
单计数器自动机上的模型检查平面冻结LTL。 日志。 方法计算。 科学。 14 ( 4 ) ( 2018 ) [公元56年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 拉杜·乔巴努 , 理查·马 , 帕特里克·托茨克 :
定时Petri网的通用安全是完整的PSPACE。 CONCUR公司 2018 : 6点1-6分15秒 [i19] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 拉杜·乔巴努 , 理查·马 , 帕特里克·托茨克 :
定时Petri网的通用安全是完整的PSPACE。 CoRR公司 abs/1806.08170 ( 2018 ) 2017 [公元55年] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 多米尼克·沃伊特扎克 :
可计数MDP中的平价目标。 低收入国家 2017 : 1-11 [公元54年] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 多米尼克·沃伊特扎克 :
可数随机对策的强确定性。 低收入国家 2017 : 1-12 [公元53年] 理查·马 , 斯文·舍韦 , 帕特里克·托茨克 , 多米尼克·沃伊特扎克 :
具有能源平价目标的MDP。 低收入国家 2017 : 1-12 [i18] 理查·马 , 斯文·舍韦 , 帕特里克·托茨克 , 多米尼克·沃伊特扎克 :
具有能源平价目标的MDP。 CoRR公司 abs/1701.02546 ( 2017 ) [i17] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 多米尼克·沃伊特扎克 :
可计数MDP中的平价目标。 CoRR公司 abs/1704.04490 ( 2017 ) [i16] 斯特凡·基弗 , 理查·马 , 马赫萨·希尔穆罕默德 , 多米尼克·沃伊特扎克 :
可数随机对策的强确定性。 CoRR公司 abs/1704.05003 ( 2017 ) 【i15】 洛伦佐·克莱门特 , 理查·马 :
非确定性自动机的有效约简及其在语言包含测试中的应用。 CoRR公司 abs/1711.09946 ( 2017 ) 2016 [公元18年] 彼得罗·霍夫曼 , 斯拉沃米尔·拉索塔 , 理查·马 , 帕特里克·托茨克 :
单计数器网络上的模拟问题。 日志。 方法计算。 科学。 12 ( 1 ) ( 2016 ) [公元17年] 理查·马 , 帕特里克·托茨克 :
分支时间模型检查间隙订单约束系统。 芬丹。 信息学 143 ( 3-4 ) : 339-353 ( 2016 ) [第52条] 安东尼娅·莱切纳 , 理查·马 , 乔尔·瓦克宁 , 阿默里·波利 , 詹姆斯·沃雷尔 :
单计数器自动机上的模型检查平面冻结LTL。 CONCUR公司 2016 : 29:1-29:14 [第51条] 帕罗什·阿齐兹·阿卜杜拉 , 拉杜·乔巴努 , 理查·马 , 阿诺德·桑尼尔 , 杰里米·斯普鲁斯顿 :
VASS诱导MDP的定性分析。 FoSSaCS公司 2016 : 319-334 [公元50年] 里卡多·奥米达 , 卢卡斯·霍利克 , 理查·马 :
非确定性树自动机的约简。 TACAS公司 2016 : 717-735 [第14条] 安东尼娅·莱切纳 , 理查·马 , 乔尔·瓦克宁 , 阿默里·波利 , 詹姆斯·沃雷尔 :
单计数器自动机上的模型检验平面冻结LTL。 CoRR公司 abs/1606.02643 ( 2016 ) 2015 [i13] 里卡多·奥米达 , 卢卡斯·霍利克 , 理查·马 :
非确定性树自动机的约简。 CoRR公司 abs/1512.08823 ( 2015 ) [i12] 帕罗什·阿齐兹·阿卜杜拉 , 拉杜·乔巴努 , 理查·马 , 阿诺德·桑尼尔 , 杰里米·斯普鲁斯顿 :
VASS诱导MDP的定性分析。 CoRR公司 abs/1512.08824 ( 2015 ) 2014 [公元16年] 帕罗什·阿齐兹·阿卜杜拉 , 洛伦佐·克莱门特 , 理查·马 , 斯文·桑德伯格 :
有损信道系统上的随机奇偶校验博弈。 日志。 方法计算。 科学。 10 ( 4 ) ( 2014 ) [公元49年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 彼得罗·霍夫曼 , 理查·马 , K.Narayan Kumar , 帕特里克·托茨克 :
无限状态能量游戏。 CSL-LICS公司 2014 : 7:1-7:10 [i11] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 彼得罗·霍夫曼 , 理查·马 , K.Narayan Kumar , 帕特里克·托茨克 :
无限状态能量游戏。 CoRR公司 abs/1405.0628 ( 2014 ) 2013 [公元15年] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 :
定价的定时Petri网。 日志。 方法计算。 科学。 9 ( 4 ) ( 2013 ) [公元48年] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 , 阿诺德·桑尼尔 , 杰里米·斯普鲁斯顿 :
求解整数向量上的奇偶博弈。 CONCUR公司 2013 : 106-120 [公元47年] 理查·马 :
归还销售过程中丢失的元素:Manum Dare。 ERP未来 2013 : 19-26 [公元46年] 彼得·霍夫曼 , 斯拉沃米尔·拉索塔 , 理查·马 , 帕特里克·托茨克 :
单计数器网络上的模拟是PSPACE-Complete。 FSTTCS公司 2013 : 515-526 [公元45年] 彼得罗·霍夫曼 , 理查·马 , 帕特里克·托茨克 :
单计数器网络弱模拟的可判定性。 低收入国家 2013 : 203-212 [c44] 理查·马 , 洛伦佐·克莱门特 :
高级自动机最小化。 POPL公司 2013 : 63-74 [公元43年] 帕罗什·阿齐兹·阿卜杜拉 , 洛伦佐·克莱门特 , 理查·马 , 斯文·桑德伯格 :
有损信道系统上的随机奇偶博弈。 QEST公司 2013 : 338至354 [公元42年] 理查·马 , 帕特里克·托茨克 :
分支时间模型检查间隙顺序约束系统。 RP公司 2013 : 171-182 [i10] 彼得罗·霍夫曼 , 理查·马 , 帕特里克·托茨克 :
单计数器网络弱模拟的可判定性。 CoRR公司 abs/1304.4104 ( 2013 ) [第九章] 帕罗什·阿齐兹·阿卜杜拉 , 洛伦佐·克莱门特 , 理查·马 , 斯文·桑德伯格 :
有损信道系统上的随机奇偶博弈。 CoRR公司 腹肌/1305.5228 ( 2013 ) [i8] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 , 阿诺德·桑尼尔 , 杰里米·斯普鲁斯顿 :
求解整数向量上的奇偶校验对策。 CoRR公司 abs/1306.2806 ( 2013 ) [i7] 理查·马 , 帕特里克·托茨克 :
分支时间模型检查间隙顺序约束系统。 CoRR公司 abs/1307.4207 ( 2013 ) [i6] 彼得罗·霍夫曼 , 斯拉沃米尔·拉索塔 , 理查·马 , 帕特里克·托茨克 :
单计数器网络上的模拟是PSPACE-Complete。 CoRR公司 abs/1310.6303 ( 2013 ) 2012 [公元41年] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 :
具有时间和成本的Petri网。 无穷 2012 : 9-24 [i5] 洛伦佐·克莱门特 , 理查·马 :
高级自动最小化。 CoRR公司 腹肌/1210.6624 ( 2012 ) 2011 [公元14年] 斯特芬·海伯 , 理查·马 , 延斯·斯托耶 :
多重排列的公共间隔。 算法 60 ( 2 ) : 175-206 ( 2011 ) [公元40年] 帕罗什·阿齐兹·阿卜杜拉 , 陈玉芳 , 洛伦佐·克莱门特 , 卢卡斯·霍利克 , Chih-Duo Hong先生 , 理查·马 , 托马斯·沃伊纳 :
高级基于Ramsey的Büchi Automata包含测试。 CONCUR公司 2011 : 187-202 [公元39年] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 :
在定价时间Petri网中计算最优覆盖成本。 低收入国家 2011 : 399-408 [i4] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 :
在定价时间Petri网中计算最优覆盖成本。 CoRR公司 abs/1104.0617 ( 2011 ) 2010 [j13] 安东·库塞拉 , 理查·马 :
关于检查下推过程和有限状态过程之间语义等价性的复杂性。 Inf.计算。 208 ( 7 ) : 772-796 ( 2010 ) [公元38年] 帕罗什·阿齐兹·阿卜杜拉 , 陈玉芳 , 洛伦佐·克莱门特 , 卢卡斯·霍利克 , Chih-Duo Hong先生 , 理查·马 , 托马斯·沃纳尔 :
基于Ramsey-Based Büchi Automata的普适性和包容性测试中的模拟吸纳。 CAV汽车 2010 : 132-147 [公元37年] 洛伦佐·克莱门特 , 理查·马 :
交替自动机的多波模拟-(扩展抽象)。 CONCUR公司 2010 : 297-312年 [公元36年] 帕罗什·阿齐兹·阿卜杜拉 , 陈玉芳 , 卢卡斯·霍利克 , 理查·马 , 托马斯·沃伊纳 :
当模拟遇到反链时。 TACAS公司 2010 : 158-174
2000 – 2009
2009 [公元35年] 帕罗什·阿齐兹·阿卜杜拉 , 理查·马 :
定价时间Petri网中的最小成本可达性/覆盖性。 FoSSaCS公司 2009 : 348-363 [公元34年] 斯特凡·格勒 , 理查·马 , 安东尼·威贾贾(Anthony Widjaja To) :
关于验证单计数器过程的计算复杂性。 低收入国家 2009 : 235-244 2008 [公元33年] 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 卢卡·德·阿尔法罗 , 理查·马 , 斯文·桑德伯格 :
有损信道的随机博弈。 FoSSaCS公司 2008 : 35-49 2007 [公元12年] 帕罗什·阿齐兹·阿卜杜拉 , 普丽塔·马哈塔 , 理查·马 :
密集时间Petri网:检查零度、标记活性和有界性。 日志。 方法计算。 科学。 三 ( 1 ) ( 2007 ) [公元11年] 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 理查·马 :
决定性马尔可夫链。 日志。 方法计算。 科学。 三 ( 4 ) ( 2007 ) [i3] 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 理查·马 :
决定性马尔可夫链。 CoRR公司 腹肌/0706.2585 ( 2007 ) 2006 [j10] 安东·库塞拉 , 哈维尔·埃斯帕尔扎 , 理查·马 :
模型检查概率下推自动机。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) [c32] 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 理查·马 , 斯文·桑德伯格 :
殷切的马尔可夫链。 ATVA公司 2006 : 24-38 [公元31年] 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 理查·马 , 斯文·桑德伯格 :
具有紧急吸引子的马尔可夫链的极限行为。 QEST公司 2006 : 253-264 [i2] 帕罗什·阿齐兹·阿卜杜拉 , 普丽塔·马哈塔 , 理查·马 :
密集时间Petri网:检查零度、标记活性和有界性。 CoRR公司 abs/cs/0611048 ( 2006 ) 2005 [公元9年] 理查·马 :
无上下文过程的弱双相似性和正则性是EXPTIME-hard。 西奥。 计算。 科学。 330 ( 三 ) : 553-575 ( 2005 ) [c30] 哈维尔·埃斯帕尔扎 , 安东·库塞拉 , 理查·马 :
概率下推自动机的定量分析:期望和方差。 低收入国家 2005 : 第117页至第126页 [公元29年] 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 理查·马 :
用有限吸引子或全局粗糙性验证无限马尔可夫链。 低收入国家 2005 : 127至136 [i1] 哈维尔·埃斯帕尔扎 , 安东·库塞拉 , 理查·马 :
模型检验概率下推自动机。 CoRR公司 abs/cs/0508003 ( 2005 ) 2004 [公元28年] 帕罗什·阿齐兹·阿卜杜拉 , 普丽塔·马哈塔 , 理查·马 :
稠密时间Petri网的Zenoness、句法有界性和Token-Leveness的可判定性。 FSTTCS公司 2004 : 58-70 [公元27年] 安东·库塞拉 , 理查·马 :
检查下推自动机和有限状态自动机之间语义等价性的通用框架。 IFIP TCS 2004 : 395-408 [公元26年] 哈维尔·埃斯帕尔扎 , 安东·库塞拉 , 理查·马 :
模型检查概率下推自动机。 低收入国家 2004 : 12-21 [公元25年] 斯特凡·洛伊 , 理查·马 , 魏伟 :
Promela模型中消息缓冲区溢出的可扩展不完整测试。 自旋蛋白 2004 : 216-233 [公元24年] 斯特凡·洛伊 , 理查·马 , 魏伟 :
UML RT模型有界性的可扩展不完全测试。 TACAS公司 2004 : 327-341 2003 [j8] 艾哈迈德·布阿贾尼 , 彼得·哈贝梅尔 , 理查·马 :
使用一个整数参数自动验证递归过程。 西奥。 计算。 科学。 295 : 85-106 ( 2003 ) [j7] 理查·马 :
不可靠计算中无法解释的问题。 西奥。 计算。 科学。 297 ( 1-3 ) : 337-354 ( 2003 ) 【c23】 理查·马 :
1-计数器过程弱互模拟等价的不确定性。 ICALP公司 2003 : 570-583 [公元22年] 理查·马 :
无上下文过程的弱双相似性和正则性是 EXPTIME公司 -很难。 EXPRESS(快递) 2003 : 153-172 [电子2] 安东·库塞拉 , 理查·马 :
第四届无限状态系统验证国际研讨会(CONCUR 2002卫星研讨会),无限2002,捷克共和国布尔诺,2002年8月24日。 理论计算机科学电子笔记 68(6), 爱思维尔 2003 [目录] 2002 [j6] 安东·库塞拉 , 理查·马 :
简单过程代数上的模拟预序。 Inf.计算。 173 ( 2 ) : 184-198 ( 2002 ) [j5] 安东·库塞拉 , 理查·马 :
有限状态系统和BPA或赋范BPP之间的弱相似性在多项式时间内是可判定的。 西奥。 计算。 科学。 270 ( 1-2 ) : 677-700 ( 2002 ) 【c21】 安东·库塞拉 , 理查·马 :
为什么模拟比互模拟难? CONCUR公司 2002 : 594-610 [公元20年] 安东·库塞拉 , 理查·马 :
下推自动机和BPA语义等价的复杂性。 MFCS公司 2002 : 433-445 [第19条] 安东·库塞拉 , 理查·马 :
前言。 无穷 2002 : 107-108 2001 【j4】 理查·马 :
使用时间逻辑EF进行模型检查的可判定性。 西奥。 计算。 科学。 256 ( 1-2 ) : 31-62 ( 2001 ) [j3] 彼得·詹卡尔 , 安东·库塞拉 , 理查·马 :
决定与有限状态过程的类互模拟等价。 西奥。 计算。 科学。 258 ( 1-2 ) : 409-433 ( 2001 ) [第18条] 艾哈迈德·布阿贾尼 , 彼得·哈贝梅尔 , 理查·马 :
一个整数参数递归过程的自动验证。 MFCS公司 2001 : 198-211 [第17条] 理查·马 :
引言-参数化系统验证-VEPAS 2001。 车辆通行证 2001 : 401-402 [电子1] 理查·马 :
参数化系统验证,VEPAS 2001,ICALP 2001卫星研讨会,希腊克里特岛,2001年7月13日。 理论计算机科学电子笔记 50(4), 爱思维尔 2001 [目录] 2000 [注2] 理查·马 :
过程重写系统。 Inf.计算。 156 ( 1-2 ) : 264-286 ( 2000 ) [第16条] 理查·马 :
关于基本并行过程的互模拟问题的复杂性。 ICALP公司 2000 : 第329-341页 [第15条] 理查·马 :
下推自动机互模拟问题的复杂性。 IFIP TCS 2000 : 474-488 [第14条] 理查·马 :
不可靠计算中的不确定问题。 拉丁语 2000 : 377-386
1990 – 1999
1999 [第13条] 安东·库塞拉 , 理查·马 :
无穷状态系统的弱双相似性可以在多项式时间内判定。 CONCUR公司 1999 : 368-382 [第12条] 安东·库塞拉 , 理查·马 :
简单过程代数上的模拟预序。 ICALP公司 1999 : 503-512 [第11条] 哈维尔·埃斯帕尔扎 , 阿兰·芬克尔 , 理查·马 :
广播协议的验证。 低收入国家 1999 : 352-359 [第10条] 艾哈迈德·布阿贾尼 , 理查·马 :
模型检验有损向量加法系统。 STACS公司 1999 : 323-333 1998 【b1】 理查·马 :
无限状态系统模型检验问题的可判定性和复杂性。 德国慕尼黑技术大学, 1998 ,第1-190页 [j1] 理查·马 , 托比亚斯·尼普科 :
高阶重写系统及其融合。 西奥。 计算。 科学。 192 ( 1 ) : 3-29 ( 1998 ) 【c9】 彼得·詹卡尔 , 安东·库塞拉 , 理查·马 :
确定有限状态过程的类互模拟等价。 ICALP公司 1998 : 200-211 【c8】 理查·马 :
模型检查BPA的严格下限。 MFCS并发研讨会 1998 : 147-158 1997 【c7】 理查·马 :
模型检查PA过程。 CONCUR公司 1997 : 332-346 【c6】 理查·马 , 安妮特·谢尔滕 :
欧氏度量空间中几何优化问题的多项式时间近似格式。 证明验证和近似算法讲座 1997 : 313-324 【c5】 理查·马 :
表5 PA工艺方法。 TABLEAUX公司 1997 : 276至290 【c4】 理查·马 :
结合Petri网和PA过程。 节气门执行器控制系统 1997 : 547-561 【c3】 理查·马 :
过程重写系统。 EXPRESS(快递) 1997 : 185-205 1996 【c2】 理查·马 :
基本并行过程的弱互模拟和模型检查。 FSTTCS公司 1996 : 88-99 【c1】 理查·马 :
语义可达性。 无穷 1996 : 18-28
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)