编辑配置文件(在新选项卡中打开) 恩斯特·莫里茨·哈恩 合著者距离 作者ID: 哈恩·恩斯特·莫里茨 发布日期: 恩斯特·莫里茨·哈恩;E.莫里茨·哈恩;哈恩,E.M。 更多。。。较少的 主页: http://iscasmc.ios.ac.cn/?page_id=71 已编制索引的文档: 31出版物自2009年起,包括1额外的arXiv预印本 合著者: 37位合著者具有31份联合出版物 1093名联合作者 全部的 前5名合著者 0 单作者的 13 斯文·舍韦 10 霍尔格·赫尔曼斯 9 张丽君 8 马特奥·佩雷斯 8 法比奥·萨蒙齐 8 阿舒托什·特里维迪 8 安德烈亚·图里尼 8 多米尼克·沃伊特扎克 三 瓦希德·哈希米 2 保罗·盖纳 2 阿恩·哈特曼斯 2 Joost-Pieter卡托恩 2 斯蒂芬诺·尼科莱蒂(Stefano M.Nicoletti)。 2 玛丽·斯托琳加 2 比约恩·瓦希特 1 克里斯特尔·拜尔 1 卡洛斯·埃内斯托·巴德 1 Dannenberg,弗里茨 1 Elbassioni,Khaled M。 1 冯、袁 1 费雷尔·菲奥里蒂,路易斯·玛丽亚 1 马丁·范策尔 1 高,杨 1 Boudewijn R.哈维尔科特。 1 克里斯蒂娜·科尔布 1 Marta Z.Kwiatkowska。 1 莫特萨·拉希贾尼安 1 李广元 1 李勇 1 刘万伟 1 Lopuhaä-Zwakeberg,米兰 1 斯特凡·拉特肖恩 1 她,志坤 1 大卫·斯皮勒 1 尼科拉斯·沃尔维克 1 应胜刚 1 詹乃军 系列 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 美国计算机学会模型和计算机仿真汇刊 1 欧洲控制杂志 1 计算机基础理论 全部的 前5名领域 28 计算机科学(68至XX) 7 运筹学、数学规划(90-XX) 4 概率论与随机过程(60-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 系统论;控制(93至XX) 1 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用127中的次88文件 引用人▼ 年份▼ 随机混合系统的组合建模和分析框架。 Zbl 1291.68293号 恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 18 2013 随机混合系统的可测性和安全性验证。 Zbl 1362.68170号 马丁·范策尔;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;尼科拉斯·沃尔维克;张丽君 17 2011 没有确定的惰性概率模型检查。 Zbl 1374.68290号 Ernst Moritz哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君 13 2015 参数马尔可夫链的加速模型检验。 Zbl 1517.68235号 保罗·盖纳;恩斯特·莫里茨·哈恩;斯文·舍韦 10 2018 概率混合系统的安全验证。 Zbl 1291.93294号 张丽君;她,志坤;斯特凡·拉特肖恩;霍尔格·赫尔曼斯;恩斯特·莫里茨·哈恩 9 2012 无模型强化学习中的Omega-regular目标。 兹比尔1527.68177 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 8 2019 忠实有效的奖励方案,用于欧米伽规则目标的无模型强化学习。 Zbl 1517.68331号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 8 2020 用于概率分析和强化学习的Good-for-MDPs自动机。 Zbl 1507.68167号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 8 2020 无限状态连续时间马尔可夫链的有界模型检验。 Zbl 1214.68213号 E.莫里茨·哈恩;霍尔格·赫尔曼斯;比约恩·瓦希特;张丽君 5 2009 区间Markov决策过程的多目标鲁棒策略综合。 Zbl 1421.90160号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;莫特萨·拉希贾尼安;安德烈亚·图里尼 4 2017 随机奇偶博弈的无模型强化学习。 Zbl 07559477号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 4 2020 使用快速自适应均匀化计算累积奖励。 Zbl 1369.65014号 Dannenberg,弗里茨;Ernst Moritz哈恩;玛尔塔·奎亚特科夫斯卡 三 2015 模型检查\(\omega \)-量子马尔可夫链的正则属性。 Zbl 1442.68106号 冯、袁;恩斯特·莫里茨·哈恩;安德烈亚·图里尼;应胜刚 三 2017 变量概率抽象细化。 兹比尔1374.68347 费雷尔·菲奥里蒂,路易斯·玛丽亚;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;比约恩·瓦希特 三 2012 时间和有酬概率模型检查技术的比较。 Zbl 1393.68104号 Ernst Moritz哈恩;阿恩·哈特曼斯 三 2016 开发区间概率互模拟的鲁棒优化。 Zbl 1377.68132号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 2 2016 模型性能检查。 Zbl 1358.68181号 拜尔,C。;E.M.哈恩。;B.R.哈维尔科特。;H·赫尔曼斯。;J.-P.卡托恩。 2 2013 区间MDP的多项式时间交替概率互模拟。 Zbl 1498.68187号 瓦希德·哈希米;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;哈立德·埃尔巴西尼 2 2017 求解定性概率奇偶博弈的简单算法。 Zbl 1411.68068号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 2 2016 综合策略改进和递归算法求解2.5人平价游戏。 Zbl 1484.68141号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 1 2017 一种针对线性时间特性的参数马尔可夫链的有效综合算法。 Zbl 1393.68107号 李勇;刘婉薇;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;张丽君 1 2016 词典编纂规则目标的无模型强化学习。 Zbl 1521.68121号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨默齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 1 2021 词典编纂规则目标的无模型强化学习。 Zbl 1521.68121号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 1 2021 忠实有效的奖励方案,用于欧米伽规则目标的无模型强化学习。 Zbl 1517.68331号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 8 2020 用于概率分析和强化学习的Good-for-MDPs自动机。 Zbl 1507.68167号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 8 2020 随机奇偶博弈的无模型强化学习。 Zbl 07559477号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 4 2020 无模型强化学习中的Omega-regular目标。 Zbl 1527.68177号 恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克 8 2019 参数马尔可夫链的加速模型检验。 Zbl 1517.68235号 保罗·盖纳;恩斯特·莫里茨·哈恩;斯文·舍韦 10 2018 区间Markov决策过程的多目标鲁棒策略综合。 Zbl 1421.90160号 恩斯特·莫里茨·哈恩;瓦希德哈希米;霍尔格·赫尔曼斯;莫特萨·拉希贾尼安;安德烈亚·图里尼 4 2017 模型检查\(\omega \)-量子马尔可夫链的正则属性。 Zbl 1442.68106号 冯、袁;恩斯特·莫里茨·哈恩;安德烈亚·图里尼;应胜刚 三 2017 区间MDP的多项式时间交替概率互模拟。 Zbl 1498.68187号 瓦希德·哈希米;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;哈立德·埃尔巴西尼 2 2017 综合策略改进和递归算法求解2.5人奇偶博弈。 Zbl 1484.68141号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 1 2017 时间和有酬概率模型检查技术的比较。 Zbl 1393.68104号 恩斯特·莫里茨·哈恩;阿恩·哈特曼斯 三 2016 开发区间概率互模拟的鲁棒优化。 Zbl 1377.68132号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 2 2016 求解定性概率奇偶博弈的简单算法。 Zbl 1411.68068号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 2 2016 一种针对线性时间特性的参数马尔可夫链的有效综合算法。 Zbl 1393.68107号 李勇;刘万伟;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;张丽君 1 2016 没有确定的惰性概率模型检查。 Zbl 1374.68290号 恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君 13 2015 使用快速自适应均匀化计算累积奖励。 Zbl 1369.65014号 Dannenberg,弗里茨;恩斯特·莫里茨·哈恩;玛尔塔·奎亚特科夫斯卡 三 2015 随机混合系统的组合建模和分析框架。 Zbl 1291.68293号 恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 18 2013 性能模型检查。 Zbl 1358.68181号 拜尔,C。;E.M.哈恩。;B.R.哈维尔科特。;赫尔曼斯,H。;J.-P.卡托恩。 2 2013 概率混合系统的安全验证。 Zbl 1291.93294号 张丽君;她,志坤;斯特凡·拉特肖恩;霍尔格·赫尔曼斯;Ernst Moritz哈恩 9 2012 变量概率抽象细化。 Zbl 1374.68347号 费雷尔·菲奥里蒂,路易斯·玛丽亚;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;比约恩·瓦希特 三 2012 随机混合系统的可测性和安全性验证。 Zbl 1362.68170号 马丁·范策尔;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;尼科拉斯·沃尔维克;张丽君 17 2011 无限状态连续时间马尔可夫链的有界模型检验。 Zbl 1214.68213号 E.莫里茨·哈恩;霍尔格·赫尔曼斯;比约恩·瓦希特;张丽君 5 2009 所有引用出版物 前5名被引用出版物 全部的 前5名158位作者引用 11 Joost-Pieter卡托恩 8 恩斯特·莫里茨·哈恩 8 塞巴斯蒂安·荣格斯 8 斯文·舍韦 6 张丽君 5 克里斯特尔·拜尔 5 Marta Z.Kwiatkowska。 5 马特奥·佩雷斯 5 法比奥·萨蒙齐 5 萨代赫·苏贾尼 5 拼写,Jip 5 阿舒托什·特里维迪 5 多米尼克·沃伊特扎克 5 马吉德·扎马尼 4 阿波法兹·拉瓦伊 4 徐明 三 亚历山德罗·阿巴特 三 傅建玲 三 阿恩·哈特曼斯 三 尼尔斯·詹森 三 李勇 三 梅静怡 三 米勒(David I。 三 安妮·雷姆克 2 苏古曼·班萨尔 2 Dannenberg,弗里茨 2 贝诺·德拉哈耶 2 邓玉欣 2 冯、袁 2 休伯特·加拉维 2 霍尔格·吉斯 2 拉杜·格罗苏 2 黄成超 2 西蒙·扬奇 2 约阿希姆·克莱因 2 拉诺特、拉格罗 2 阿维纳什·马利克 2 玛丽亚·马克西莫娃 2 保罗·米拉佐 2 吉列尔莫·A·佩雷斯。 2 斯文·施奈德 2 杰里米·斯普洛斯顿 2 玛丽·斯托琳加 2 西蒙·蒂尼 2 安德烈亚·图里尼 2 莫西·亚亚科夫·瓦尔迪 2 王淑玲 2 托拜厄斯·温克勒 2 詹乃军 1 查塔尼亚·阿加瓦尔 1 Darryl K.Ahner。 1 拉杰夫·阿鲁尔 1 爱德华多·巴奇 1 Badings,Thom S。 1 巴博特,贝努伊特 1 罗伯托·巴布蒂 1 奥斯伯特·巴斯塔尼 1 Nathalie Bertrand 1 弗兰蒂舍克·布拉胡德克 1 帕特里夏·鲍耶 1 托马斯·布里海耶 1 卢博什·布里姆 1 彼得·巴赫霍尔茨 1 卡洛斯·埃内斯托·巴德 1 蔡敦波 1 纪尧姆酒廊 1 卢卡·卡德利 1 皮埃尔·卡利埃 1 科什卡,米兰 1 陈、陶璐 1 佩德罗·鲁宾·达吉尼奥 1 Das、Subhro 1 普拉蒂斯·达塔 1 德纳特,基督徒 1 马尔科·迪西奥拉 1 克莱门斯·杜伯斯拉夫 1 亚历山大·杜雷特·卢茨 1 拉塔·杜塔 1 冯伟志 1 埃里克·弗雷(Eric W.Frew)。 1 内森·富尔顿 1 高伟 1 Daniel E.Gebler。 1 什巴希斯·古哈 1 穆罕默德·哈桑贝格 1 见鬼,莱纳斯 1 霍尔格·赫尔曼斯 1 Hoang,Trong Nghia村 1 扬尼克·希尔斯 1 内森·亨特 1 大卫·詹森(David N.Jansen)。 1 托拜厄斯·约翰 1 Jothimurugan,基肖 1 马克·乔伊 1 大卫·朱利安 1 安德鲁·基思。 1 迪利普·拉古纳特·基尼 1 克吕佩尔霍尔茨,萨沙 1 科伦,布拉姆 1 Koutsoukos,Xenofon D。 …还有58位作者 全部的 前5名21篇连载文章中引用 5 程序设计中的逻辑与代数方法杂志 4 理论计算机科学 三 信息学报 三 Automatica公司 三 系统设计中的形式化方法 三 非线性分析。混合动力系统 2 计算机与系统科学杂志 2 信息与计算 1 人工智能 1 信息处理信件 1 自动推理杂志 1 计算的形式方面 1 运筹学年鉴 1 数值算法 1 控制科学档案 1 人工智能研究杂志 1 摩尔多瓦计算机科学杂志 1 欧洲控制杂志 1 自然计算 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 算法 全部的 前5名在12个字段中引用 72 计算机科学(68至XX) 18 运筹学、数学规划(90-XX) 18 系统论;控制(93至XX) 12 概率论与随机过程(60-XX) 10 数学逻辑和基础(03-XX) 5 生物学和其他自然科学(92-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 量子理论(81-XX) 按年份列出的引文