编辑配置文件（在新选项卡中打开） 贝蒂娜·科尼霍费尔 合著者距离 作者ID： 科尼霍费尔·贝蒂纳 发布日期： 贝蒂娜·柯尼霍费尔 已编制索引的文档： 6出版物自2014年起 合著者： 20位合著者具有6联合出版物 510合作作者 全部的 前5名合著者 0 单作者的 6 罗德里克·布洛姆 3 罗伯特·Könighfer 2 克里希南德·查特吉 2 托马斯·亨辛格。 2 王超 1 穆罕默德·阿尔谢赫 1 阿夫尼，盖伊 1 卡琳·格雷梅尔 1 格罗·汉内斯 1 乔治·霍夫雷克 1 劳拉·汉弗莱。 1 里纳特·尤斯波夫 1 詹森，尼尔斯 1 芭芭拉·乔布斯曼 1 塞巴斯蒂安·荣格斯 1 斯特凡·曼加德 1 斯特凡·普朗格 1 亚历克斯·塞尔班 1 乌富克托普库 1 约翰内斯·温特 系列 1 信息学报 1 系统设计中的形式化方法 领域 5 计算机科学（68至XX） 2 系统论；控制（93至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用75中的次59文件 引用人▼ 年份▼ 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 屏蔽合成：反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超 16 2015 屏蔽合成。 兹比尔1386.68101 贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 11 2017 在出现故障时对屏蔽硬件实现进行正式验证。 Zbl 1428.94062号 罗德里克·布洛姆;格罗斯，汉内斯;里纳特·尤斯波夫;贝蒂娜·科尼霍费尔;斯特凡·曼加德;约翰内斯·温特 7 2018 使用概率屏蔽进行安全强化学习（特邀论文）。 Zbl 07559459号 詹森，尼尔斯;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;罗德里克·布洛姆 5 2020 通过定量游戏对学习的控制器进行运行时优化。 Zbl 07805558号 阿夫尼，盖伊;罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格。;贝蒂娜·科尼霍费尔;斯特凡·普朗格 2 2019 使用概率屏蔽进行安全强化学习（特邀论文）。 Zbl 07559459号 詹森，尼尔斯;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;罗德里克·布洛姆 5 2020 通过定量博弈对学习控制器进行运行时优化。 兹伯利07805558 阿夫尼，盖伊;罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格。;贝蒂娜·科尼霍费尔;斯特凡·普朗格 2 2019 在出现故障时对屏蔽硬件实现进行正式验证。 Zbl 1428.94062号 罗德里克·布洛姆;格罗斯，汉内斯;里纳特·尤斯波夫;贝蒂娜·科尼霍费尔;斯特凡·曼加德;约翰内斯·温特 7 2018 盾牌合成。 Zbl 1386.68101号 贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 11 2017 屏蔽合成：反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超 16 2015 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 所有引用出版物 前5名被引用出版物 全部的 前5名137位作者引用 9 罗德里克·布洛姆 7 克里希南德·查特吉 7 芭芭拉·乔布斯曼 4 卢卡·埃特罗 4 伊恩·卡萨尔 4 阿德里安·弗兰卡兰扎 4 托马斯·亨辛格。 4 亚历山大·韦内特 3 哈娜·乔克勒 3 马苏德·易卜拉希米 3 Anna Ingólfsdóttir 3 塞巴斯蒂安·荣格斯 3 贝蒂娜·科尼霍费尔 3 丹尼尔·奈德 3 Jean-François拉斯金 3 弗朗索瓦·泽维尔 3 斯特里赫曼（Ofer Strichman） 3 斯塔夫罗斯·特里帕基斯 3 马丁·齐默尔曼 2 加勒坦卡西尔 2 伊利耶斯·法尔科内 2 詹森，尼尔斯 2 罗伯特·Könighfer 2 帕里托什·K·潘迪亚。 2 维塔利·佩雷沃什奇科夫 2 斯里尼瓦斯·皮尼塞蒂 2 罗伯特·普里马斯 2 桑吉特·阿伦库马尔·塞希亚 2 罗希特·辛格。 2 克里斯蒂安·冯·埃森 2 阿莫尔·瓦坎卡尔 1 达拉·阿拉杰 1 穆罕默德·阿尔谢赫 1 加尔阿姆拉姆 1 法哈德·阿尔巴 1 苏古曼·班萨尔 1 尼古拉斯·博德斯 1 马可·卡卡莫 1 曹宏鹏 1 埃泽奎尔·卡斯特拉诺 1 阿尔贝托·卡斯泰里尼 1 戴维德·贾科莫·卡维扎 1 陈、陶璐 1 克拉克（Edmund Melson jun Clarke）。 1 科宁，诺琳 1 吕克·德·雷德 1 弗洛里斯·登·亨斯特 1 Dokter，Kasper公司 1 曼弗雷德·德罗斯特 1 亚历山德罗·法利内利 1 塞巴斯蒂安·浮士德 1 伯恩德·芬克贝纳 1 文森特·弗朗索瓦·勒维特 1 油炸，Dror 1 巴巴拉·吉格尔 1 卡琳·格雷梅尔 1 安德拉斯·吉尔吉 1 维达德·哈季奇 1 Shigeki Hagihara 1 克里斯托弗·哈恩 1 一郎·哈索 1 克劳斯·哈弗伦德 1 乔治·霍夫雷克 1 贾娜·霍夫曼 1 马克·胡根登 1 劳拉·汉弗莱。 1 亨特，保罗 1 拉斯穆斯·易卜森·延森 1 Anna Ingófsdóttir，安娜 1 蒂埃里·杰伦 1 康，恩苏克 1 皮埃尔·卡普曼 1 伊莎贝拉·考夫曼 1 斯特凡·克里科维茨 1 戴维·尼切尔 1 奥尔纳·库普弗曼 1 圣菲拉福顿 1 拉诺特、拉格罗 1 金·古德斯特兰·拉森 1 阿波法兹·拉瓦伊 1 斯特凡·曼加德 1 埃尔文·马尔坎德 1 卢卡斯·马蒂内利·塔巴哈拉 1 洛伊奇马苏尔 1 朱利奥·马齐 1 皮尔里克·梅奥 1 穆洛省梅拉戈雷斯 1 马西莫·梅罗 1 查尔斯·莫明 1 驼鹿，Thorben 1 阿米尔·莫拉迪 1 安德烈·蒙泰努 1 马克西米利安·奥尔特 1 安德烈亚斯·帕夫罗甘尼斯 1 Doron A.Peled。 1 吉列尔莫·A·佩雷斯。 1 尼尔·皮特曼 1 阿米尔·普努利 1 安吉特·普拉丹 1 普洛塔萨，维奥雷尔 …还有37位作者 全部的 前5名14篇连载文章中引用 7 信息学报 7 系统设计中的形式化方法 2 信息与计算 2 计算的形式方面 2 机器学习 2 离散事件动态系统 1 人工智能 1 计算机与系统科学杂志 1 合成 1 理论计算机科学 1 计算系统理论 1 美国计算机学会期刊 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 全部的 前5名在8个字段中引用 53 计算机科学（68至XX） 16 博弈论、经济学、金融和其他社会和行为科学（91-XX） 9 数学逻辑和基础（03-XX） 7 信息与通信理论、电路（94-XX） 5 系统论；控制（93至XX） 4 运筹学、数学规划（90-XX） 1 测量和集成（28-XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文