编辑配置文件（在新选项卡中打开） 本杰明·蒙梅格 合著者距离 作者ID： 蒙梅杰·本杰明 发布日期： 本杰明·蒙梅格 编入索引的文档： 30份出版物自2010年起 2作为编辑的贡献 合著者： 32位合著者具有32联合出版物 619联合作者 全部的 前5名合著者 0 单作者的 10 托马斯·布里海耶 10 吉勒·杰勒茨 8 保罗·加斯廷 7 贝内迪克特·博利格 6 皮埃尔·阿莱·雷尼尔 5 阿克塞尔·哈达德 4 达米安·巴斯托·加斯顿 4 马克·泽顿 三 何希明 2 彼得·哈贝梅尔 2 谢尔盖·哈达德 2 恩格尔·勒福丘 2 马丁·勒克 2 Jean-Marc Talbot 1 尼古拉·鲍德鲁 1 佩特拉·贝伦布里克 1 马库斯·巴泽尔 1 路易·玛丽·丹多 1 埃斯蒂文纳特，摩根 1 皮埃尔·甘蒂 1 玛丽安·哈雷特 1 桑卡拉·纳拉亚南·克里希纳 1 内森·勒霍特 1 特奥多雷·洛佩兹 1 鲁帕克·马朱姆达尔 1 拉克希米·马纳萨 1 朱莉·帕罗 1 布鲁诺·奎丁 1 加布里埃尔·雷诺 1 奥坎·桑库尔 1 纳塔利·斯兹纳杰德 1 阿舒托什·特里维迪 全部的 前5名系列 三 计算机科学中的逻辑方法 2 理论计算机科学 2 LIPIcs–莱布尼茨国际信息学会议录 1 信息学报 1 系统设计中的形式化方法 1 软计算 1 ACM计算逻辑事务 领域 31 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 总体主题；集合（00-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用111中的次87文件 引用人▼ 年份▼ MDP和IMDP的区间迭代算法。 Zbl 1393.68103号 谢尔盖·哈达德;本杰明·蒙梅格 12 2018 MDP中的可达性：改进价值迭代的收敛性。 Zbl 1393.68102号 谢尔盖·哈达德;本杰明·蒙梅格 11 2014 卵石加权自动机和传递闭包逻辑。 Zbl 1288.68149号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格;马克·泽顿 8 2010 为定价的定时游戏增加负价格。 Zbl 1417.68120号 托马斯·布里海耶;吉勒·杰勒茨;桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;本杰明·蒙梅格;阿舒托什·特里维迪 7 2014 强大的数据语言类和学习应用程序。 Zbl 1448.68258号 贝内迪克特·博利格;彼得·哈贝梅尔;马丁·勒克;本杰明·蒙梅格 7 2014 伪多项式迭代算法，用于求解总对偶博弈和最小代价可达博弈。 兹比尔1362.68203 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 7 2017 关于加权逻辑和加权自动机的统一综述。核心加权逻辑：定量属性的最小通用规范。 Zbl 1398.03157号 保罗·加斯廷;本杰明·蒙梅格 7 2018 卵石加权自动机和加权逻辑。 Zbl 1291.03076号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格;马克·泽顿 6 2014 到达还是不到达？全对弈游戏的高效算法。 Zbl 1376.91038号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 6 2015 强大的L：从MITL到时间自动机的合成翻译。 Zbl 1494.68162号 托马斯·布里海耶;吉勒·杰勒茨;何希明;本杰明·蒙梅格 6 2017 简单的限时游戏并没有那么简单。 Zbl 1366.68137号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅格 5 2015 发散加权时间博弈中的最优可达性。 Zbl 1486.68092号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔 5 2017 学习寄存器自动机的新方法。 Zbl 1381.68103号 贝内迪克特·博利格;彼得·哈贝梅尔;马丁·勒克;本杰明·蒙梅格 5 2013 有界欠近似。 Zbl 1247.68140号 皮埃尔·甘蒂;鲁帕克·马朱姆达尔;本杰明·蒙梅格 4 2012 向加权自动机添加鹅卵石：简单的规范和有效的评估。 Zbl 1359.68167号 保罗·加斯廷;本杰明·蒙梅格 2 2014 向加权自动机添加鹅卵石。 Zbl 1297.68128号 保罗·加斯廷;本杰明·蒙梅格 2 2012 概率Kleene定理。 兹比尔1374.68253 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格;马克·泽顿 2 2012 失败下的定量游戏。 Zbl 1366.68216号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格;吉列尔莫·A·佩雷斯。;加布里埃尔·雷诺 2 2015 嵌套单词上的加权规范。 Zbl 1260.68228号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格 2 2013 实时合成很难！ Zbl 1433.68210号 托马斯·布里海耶;埃斯蒂文纳特，摩根;吉勒·杰勒茨;何希明;本杰明·蒙梅格;纳塔利·斯兹纳杰德 1 2016 加权时间游戏的符号近似。 Zbl 1528.68178号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔 1 2018 通过在没有记忆的情况下随机游戏，以最佳方式实现目标。 兹伯利07559482 本杰明·蒙梅格;朱莉·帕罗;皮埃尔·阿莱·雷尼尔 1 2020 第38届计算机科学理论方面国际研讨会，STACS 2021，德国萨尔布吕肯，虚拟会议，2021年3月16-19日。 Zbl 1465.68010号 1 2021 定时Büchi自动机中的鲁棒控制器综合：符号方法。 Zbl 07805555号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔;奥坎·桑库尔 1 2019 第38届计算机科学理论方面国际研讨会，STACS 2021，德国萨尔布吕肯，虚拟会议，2021年3月16-19日。 Zbl 1465.68010号 1 2021 通过在没有记忆的情况下随机游戏，以最佳方式实现目标。 Zbl 07559482号 本杰明·蒙梅格;朱莉·帕罗;皮埃尔·阿莱·雷尼尔 1 2020 定时Büchi自动机中的鲁棒控制器综合：符号方法。 Zbl 07805555号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔;奥坎·桑库尔 1 2019 MDP和IMDP的区间迭代算法。 Zbl 1393.68103号 谢尔盖·哈达德;本杰明·蒙梅格 12 2018 关于加权逻辑和加权自动机的统一综述。核心加权逻辑：定量属性的最小通用规范。 Zbl 1398.03157号 保罗·加斯廷;本杰明·蒙梅格 7 2018 加权时间游戏的符号近似。 Zbl 1528.68178号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔 1 2018 伪多项式迭代算法，用于求解总对偶博弈和最小代价可达博弈。 兹比尔1362.68203 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 7 2017 强大的L：从MITL到时间自动机的合成翻译。 Zbl 1494.68162号 托马斯·布里海耶;吉勒·杰勒茨;何希明;本杰明·蒙梅格 6 2017 发散加权时间对策中的最优可达性。 Zbl 1486.68092号 达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔 5 2017 实时合成很难！ Zbl 1433.68210号 托马斯·布里海耶;埃斯蒂文纳特，摩根;吉勒·杰勒茨;何希明;本杰明·蒙梅格;纳塔利·斯兹纳杰德 1 2016 到达还是不到达？用于总收益博弈的高效算法。 Zbl 1376.91038号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 6 2015 简单的限时游戏并没有那么简单。 Zbl 1366.68137号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅格 5 2015 失败下的定量游戏。 Zbl 1366.68216号 托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格;吉列尔莫·A·佩雷斯。;加布里埃尔·雷诺 2 2015 MDP中的可达性：优化价值迭代的收敛性。 Zbl 1393.68102号 谢尔盖·哈达德;本杰明·蒙梅格 11 2014 为定价的定时游戏增加负价格。 兹比尔1417.68120 托马斯·布里海耶;吉勒·杰勒茨;桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;本杰明·蒙梅格;阿舒托什·特里维迪 7 2014 强大的数据语言类和学习应用程序。 Zbl 1448.68258号 贝内迪克特·博利格;彼得·哈贝梅尔;马丁·勒克;本杰明·蒙梅格 7 2014 卵石加权自动机和加权逻辑。 Zbl 1291.03076号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格;马克·泽顿 6 2014 向加权自动机添加鹅卵石：简单的规范和有效的评估。 Zbl 1359.68167号 保罗·加斯廷;本杰明·蒙梅格 2 2014 学习寄存器自动机的新方法。 Zbl 1381.68103号 贝内迪克特·博利格;彼得·哈贝梅尔;马丁·勒克;本杰明·蒙梅格 5 2013 嵌套单词上的加权规范。 Zbl 1260.68228号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格 2 2013 有界欠近似。 Zbl 1247.68140号 皮埃尔·甘蒂;鲁帕克·马朱姆达尔;本杰明·蒙梅格 4 2012 向加权自动机添加鹅卵石。 Zbl 1297.68128号 保罗·加斯廷;本杰明·蒙梅格 2 2012 概率Kleene定理。 Zbl 1374.68253号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格;马克·泽顿 2 2012 卵石加权自动机和传递闭包逻辑。 Zbl 1288.68149号 贝内迪克特·博利格;保罗·加斯廷;本杰明·蒙梅格;马克·泽顿 8 2010 所有引用出版物 前5名被引用出版物 全部的 前5名180位作者引用 10 本杰明·蒙梅格 7 曼弗雷德·德罗斯特 6 简·Křetínsk 4 塞巴斯蒂安·荣格斯 4 皮埃尔·阿莱·雷尼尔 4 马克西米利安·韦宁格 4 马丁·齐默尔曼 三 托马斯·布里海耶 三 达米安·巴斯托·加斯顿 三 克里希南德·查特吉 三 保罗·加斯廷 三 Joost-Pieter卡托恩 三 约书亚·默曼 三 乔治·拉霍尼斯 三 亚历山大·斯利文斯基 2 阿夫尼，盖伊 2 斯特凡·杜克 2 约斯特·恩格尔弗里特 2 吉勒·杰勒茨 2 古哈，柴桥 2 阿克塞尔·哈达德 2 谢尔盖·哈达德 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 何希明 2 奥尔纳·库普弗曼 2 Marta Z.Kwiatkowska。 2 托拜厄斯·梅根多夫 2 尼尔，丹尼尔 2 格钦·诺曼 2 奥托普，简 2 蒂姆·夸特曼 2 伊曼纽尔·拉姆尼安图 2 马蒂奥·桑马蒂诺 2 杰里米·斯普洛斯顿 2 伯恩哈德·斯特芬 2 尼科斯·齐夫列科斯 2 福格勒、海科 2 亚历山大·韦内特 1 科梅什，贝赫塞特 1 阿萨勒阿杰 1 埃蒂安·安德烈 1 穆克西特·阿齐姆 1 乔治·巴赫迈耶 1 拜尔，克里斯特尔 1 M.H.班杜卡拉。 1 巴博萨、路易斯·索亚雷斯 1 David A.Basin。 1 马修·史蒂文·鲍尔 1 巴托斯·贝德纳西克 1 乌迪·博克 1 贝内迪克特·博利格 1 迪米特里斯·博斯科斯 1 帕特里夏·鲍耶 1 保罗·布鲁内特 1 维罗尼克·布鲁埃 1 索菲亚·卡塞尔 1 巴勃罗·卡斯特罗。 1 罗希特·查达 1 皮埃尔·香巴特 1 亚历山德罗·西马蒂 1 艾米丽·克莱门特 1 塞缪尔·库根 1 沃伊切赫，切尔文斯基 1 佩德罗·鲁宾·达吉尼奥 1 吕克·德·雷德 1 戴克，诺曼 1 拉米罗·德马西 1 Dimarogonas，Dimos V。 1 马克森·杜特雷克斯 1 贝蒂娜·艾克 1 朱莉娅·艾森特罗 1 亚历山大·伊万杰里迪斯 1 乌里·法伦贝格 1 托马斯·费雷尔 1 阿兰·芬克尔 1 马库斯·弗洛姆 1 佐尔坦，福尔öp 1 弗洛里安·芬克 1 皮埃尔·洛伊奇·卡洛什 1 西内姆盖蒂尔·亚曼 1 阿琳·戈敏 1 莱安德罗·戈麦斯（Leandro G.Gomes）。 1 古斯塔夫·格拉博勒 1 阿尔贝托·格里乔 1 托马斯·莫勒·格罗森 1 拉尔斯·格伦斯克 1 彼得·哈贝梅尔 1 马修·黑格 1 阿恩·哈特曼斯 1 彼得·霍夫曼 1 德里克·霍尔特（Derek F.Holt）。 1 约翰·Hölzl 1 福尔克，豪尔 1 弗朗索瓦·赫布利特 1 啊，Jeongmin 1 拉斯穆斯·易卜森·延森 1 西蒙·扬奇 1 蒂埃里·杰伦 1 蒂莫西·琼斯。 1 本特·琼森 …还有80多位作者 全部的 前5名20篇连载文章中引用 9 计算机科学中的逻辑方法 8 理论计算机科学 7 信息与计算 4 信息学报 4 系统设计中的形式化方法 2 Automatica公司 2 自动推理杂志 1 计算机与系统科学杂志 1 计算的形式方面 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 计算系统理论 1 软计算 1 离散数学和理论计算机科学。DMTCS公司 1 计算机基础理论 1 ACM计算逻辑事务 1 Oberwolfach报告 1 非线性分析。混合动力系统 1 RAIRO公司。理论信息学及其应用 全部的 前5名10个字段中引用 77 计算机科学（68至XX） 24 数学逻辑和基础（03-XX） 16 博弈论、经济学、金融和其他社会和行为科学（91-XX） 11 运筹学、数学规划（90-XX） 4 概率论与随机过程（60-XX） 4 系统论；控制（93至XX） 三 组合数学（05-XX） 2 群论与推广（20-XX） 1 总体主题；集合（00-XX） 1 流形和细胞复合体（57至XX） 按年份列出的引文