罗曼·布伦吉尔
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [i10] 罗曼·布伦吉尔 , 卢卡斯·科尔德罗 , 丹尼尔·克罗宁 , 彼得·施拉姆 :
JBMC:Java字节码的有界模型检查工具。 CoRR公司 abs/2302.02381 ( 2023 ) [第九章] 纳撒纳埃尔·菲亚尔科 , 纳塔莉·贝特朗 , Patricia Bouyer-Decitre公司 , 罗曼·布伦吉尔 , 阿诺焦油醇 , 费恩雷 , 雨果·金伯特 , 弗洛里安·霍恩 , 拉斯穆斯·易卜生-延森 , 尼古拉斯·马基 , 本杰明·蒙梅格 , 彼得·诺沃顿 , 米凯尔·兰德尔 , 奥坎·桑库尔 , 西尔万·施密茨 , 奥利维尔·塞雷 , 马特乌斯·斯科姆拉 :
图形游戏。 CoRR公司 abs/2305.10546 ( 2023 )
2010 – 2019
2017 [j3] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 信息学报 54 ( 1 ) : 41-83 ( 2017 ) [注2] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 吕迪格·埃勒斯 , 提摩太地狱 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列昂尼德·瑞日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第一届反应合成竞赛(SYNTCOMP 2014)。 国际期刊软件。 技术工具。 Transf公司。 19 ( 三 ) : 367-390 ( 2017 ) 【c21】 罗曼·布伦吉尔 , 阿诺·保利 , Jean-François Raskin女士 , 奥坎·桑库尔 :
信息不完整游戏的准入(邀请谈话)。 CONCUR公司 2017 : 2:1-2:23 [公元20年] 瑞典雅各布斯 , 尼古拉斯·巴塞特 , 罗德里克·布隆 , 罗曼·布伦吉尔 , Maximilien Colange公司 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 蒂鲍德·米绍德 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 , Leander Tentrup公司 :
第四届反应合成竞赛(SYNTCOMP 2017):基准、参与者和结果。 同步@CAV 2017 : 116-143 2016 [第19条] 罗曼·布伦吉尔 , Vojtech预测 :
多目标随机博弈的可判定性结果。 ATVA公司 2016 : 227-243 [第18条] 罗曼·布伦吉尔 :
合成的最佳假设。 CONCUR公司 2016 : 8:1-8:15 [第17条] 罗曼·布伦吉尔 :
Mean-Payoff博弈中的稳健均衡。 FoSSaCS公司 2016 : 217-233 [第16条] 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
定量图形游戏中的可容许性。 FSTTCS公司 2016 : 42:1-42:14 [第15条] 罗曼·布伦吉尔 , 洛伦佐·克莱门特 , 保罗·亨特 , 吉列尔莫·A·佩雷斯 , 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 , 马修·萨索拉斯 :
反应合成的非零和博弈。 拉丁美洲旅游协会 2016 : 3-23 [第14条] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 罗伯特·科尼霍弗 , 延斯·克雷伯 , 亚历山大·莱格 , 尼娜·纳罗季斯卡 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第三届反应合成竞赛(2016年SYNTCOMP):基准、参与者和结果。 同步@CAV 2016 : 149-177 [i8] 罗曼·布伦吉尔 :
合成的最佳假设。 CoRR公司 abs/1604.03471 ( 2016 ) [i7] 罗曼·布伦吉尔 , Vojtech预测 :
多目标随机博弈的可判定性结果。 CoRR公司 abs/1605.03811 ( 2016 ) [i6] 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
定量图游戏中的可容许性。 CoRR公司 abs/1611.08677 ( 2016 ) 2015 [j1] 帕特里夏·鲍耶 , 罗曼·布伦吉尔 , 尼古拉斯·马基 , 迈克尔·乌梅尔斯 :
并发确定性博弈中的纯纳什均衡。 日志。 方法计算。 科学。 11 ( 2 ) ( 2015 ) [第13条] 罗曼·布伦吉尔 , Jean-François Raskin女士 :
多维Mean-Payoff博弈的Pareto曲线。 CAV(2) 2015 : 251-267 [第12条] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 CONCUR公司 2015 : 100-113 [第11条] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第二届反应合成竞赛(SYNTCOMP 2015)。 同步 2015 : 27-57 [第10条] 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
简洁安全游戏的合成算法。 同步 2015 : 98-111 [i5] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 吕迪格·埃勒斯 , 提摩太地狱 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列昂尼德·瑞日克 , 奥坎·桑库尔 , 马蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第一届反应合成竞赛(SYNTCOMP 2014)。 CoRR公司 abs/1506.08726 ( 2015 ) [i4] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 CoRR公司 abs/1507.00623 ( 2015 ) [i3] 罗曼·布伦吉尔 , 洛伦佐·克莱门特 , 保罗·亨特 , 吉列尔莫·A·佩雷斯 , 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 , 马修·萨索拉斯 :
反应合成的非零和博弈。 CoRR公司 abs/1512.05568 ( 2015 ) 2014 【c9】 罗曼·布伦吉尔 , Jean-François Raskin女士 , 马修·萨索拉斯 :
Omega规则游戏中可接受性的复杂性。 CSL-LICS公司 2014 : 23:1-23:10 【c8】 罗曼·布伦吉尔 , 弗兰克·卡塞兹 , Jean-François Raskin女士 :
能量和平均值计时游戏。 高速列车控制中心 2014 : 283-292 【c7】 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
AbsSynthe:从简洁的安全规范中抽象合成。 同步 2014 : 100-116 2013 【c6】 罗曼·布伦吉尔 :
PRALINE:用于计算并发博弈中纳什均衡的工具。 CAV汽车 2013 : 890-895 [i2] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 马修·萨索拉斯 :
欧米茄规则游戏中可接纳性的复杂性。 CoRR公司 abs/1304.1682 ( 2013 ) [i1] 罗曼·布伦吉尔 :
并发博弈中的鲁棒均衡。 CoRR公司 abs/1311.7683 ( 2013 ) 2012 【b1】 罗曼·布伦吉尔 :
Nash dans les jeux并发均衡:应用aux jeux temporisés。 (并发游戏中的纳什均衡:计时游戏的应用)。 法国卡尚正常供应, 2012 【c5】 罗曼·布伦吉尔 , 斯特凡·格勒 , 奥坎·桑库尔 :
简洁表示的有限状态系统的比较。 CONCUR公司 2012 : 147-161 【c4】 帕特里夏·鲍耶 , 罗曼·布伦吉尔 , 尼古拉斯·马基 , 迈克尔·乌梅尔斯 :
具有有序目标的并发游戏。 FoSSaCS公司 2012 : 301-315 2011 【c3】 帕特里夏·鲍耶 , 罗曼·布伦吉尔 , 尼古拉斯·马基 , 迈克尔·乌梅尔斯 :
具有Büchi目标的并发博弈中的纳什均衡。 FSTTCS公司 2011 : 375-386 2010 【c2】 帕特里夏·鲍耶 , 罗曼·布伦吉尔 , 尼古拉斯·马基 :
多人计时游戏中可达性目标的纳什均衡。 CONCUR公司 2010 : 192-206 【c1】 帕特里夏·鲍耶 , 罗曼·布伦吉尔 , 尼古拉斯·马基 :
双人计时游戏中的均衡计算 通过 Turn-Based有限游戏。 格式 2010 : 62-76