编辑配置文件(在新选项卡中打开) 詹森,尼尔斯 合著者距离 作者ID: jansen.nils公司 发布日期: 詹森,尼尔斯 已编制索引的文档: 27出版物自2011年起,包括1个附加arXiv预打印 3作为编辑的贡献 合著者: 40位合著者具有30联合出版物 913合著作者 全部的 前5名合著者 0 单作者的 18 Joost-Pieter卡托恩 12 塞巴斯蒂安·荣格斯 10 托普库,乌福 7 拉尔夫·维默(Ralf D.Wimmer)。 6 艾丽卡·阿尔布拉汉姆 6 穆拉特·库布克特佩 5 贝恩德·贝克尔 4 克里斯蒂安·德内特 三 本杰明·卢西恩·卡明斯基 三 玛丽·斯托琳加 2 Badings,Thom S。 2 弗里德里希·格雷茨 2 费德里科·奥利梅多 2 哈桑·普纳瓦拉(Hasan A.Poonawala)。 1 亚历山德罗·阿巴特 1 穆罕默德雷扎·艾哈迈迪 1 穆罕默德·阿尔谢赫 1 Nathalie Bertrand 1 罗德里克·布洛姆 1 史蒂文·卡尔 1 科什卡,米兰 1 格罗斯,丹尼斯 1 玛丽·海荷 1 Jens Katelaan公司 1 贝蒂娜·科尼霍费尔 1 McIver,Annabelle K。 1 伊凡·帕普莎 1 蒂姆·夸特曼 1 斯蒂芬·拉伊梅克斯 1 利西奥·罗芒 1 亚历克斯,塞尔维亚人 1 桑吉特·阿伦库马尔·塞希亚 1 马尼克斯·苏伦 1 米尔科·特里巴斯通 1 佩特拉·范登博斯 1 马蒂亚斯·沃尔克 1 卢卡斯·韦斯特霍芬 1 莱昂诺尔·温特勒 1 吴波 1 张若翰 系列 4 IEEE自动控制汇刊 三 计算机科学课堂讲稿 2 人工智能研究杂志 1 理论计算机科学 1 计算机科学中的逻辑方法 全部的 前5名领域 24 计算机科学(68至XX) 11 运筹学、数学规划(90-XX) 6 系统论;控制(93至XX) 4 概率论与随机过程(60-XX) 三 总体主题;集合(00-XX) 1 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用113中的次66文件 引用人▼ 年份▼ 马尔可夫模型的参数合成:比以往更快。 兹比尔1398.68346 蒂姆·夸特曼;克里斯蒂安·德内特;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 23 2016 概率规划中的条件处理。 Zbl 1351.68066号 詹森,尼尔斯;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;费德里科·奥利梅多;弗里德里希·格雷茨;安娜贝拉·麦克维尔 11 2015 pMDPs合成:1001个参数。 Zbl 1517.68227号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;托普库,乌福 9 2018 了解概率程序。 Zbl 1444.68045号 Joost-Pieter卡托恩;弗里德里希·格雷茨;詹森,尼尔斯;本杰明·卢西恩·卡明斯基;费德里科·奥利梅多 9 2015 序贯凸规划用于参数MDP的有效验证。 Zbl 1452.68117号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;伊凡·帕普萨;哈桑·普纳瓦拉(Hasan A.Poonawala)。;托普库,乌福 8 2017 概率程序的有界模型检验。 Zbl 1398.68343号 詹森,尼尔斯;克里斯蒂安·德内特;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;卢卡斯·韦斯特霍芬 7 2016 离散时间Markov模型的最小临界子系统。 Zbl 1352.68167号 拉尔夫·威默;詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;Joost-Pieter卡托恩 6 2012 离散时间马尔可夫模型的反例生成:介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;詹森,尼尔斯;Joost-Pieter卡托恩;拉尔夫·威默 5 2014 使用概率屏蔽进行安全强化学习(特邀论文)。 Zbl 07559459号 詹森,尼尔斯;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯,塞尔维亚人;罗德里克·布洛姆 5 2020 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;Jens Katelaan公司;拉尔夫·威默;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2011 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默;詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2014 具有不确定速率的CTMC的基于抽样的验证。 Zbl 1514.68117号 Badings,Thom S。;詹森,尼尔斯;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯;詹森,尼尔斯;Sanjit A.Seshia。 三 2021 概率自动机的高级反例。 Zbl 1347.68211号 拉尔夫·威默;詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 三 2015 人类安全航行的模型检查。 Zbl 1514.68136号 塞巴斯蒂安·荣格斯;詹森,尼尔斯;Joost-Pieter卡托恩;托普库,乌福;张若翰;玛丽·海荷 2 2018 牧羊群的马尔可夫链。 Zbl 1527.68144号 科什卡,米兰;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 基于场景的不确定MDP验证。 Zbl 1507.68182号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;托普库,乌福 2 2020 从过程代数到时间自动机再到模型学习的旅程。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。 Zbl 1515.68037号 2 2022 快速调试PRISM模型。 Zbl 1448.68295号 克里斯蒂安·德内特;詹森,尼尔斯;拉尔夫·威默;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 2 2014 MDP中参数综合的凸优化。 Zbl 07742136号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;托普库,乌福 1 2022 通过基于游戏的抽象为机器人规划中的POMDP进行策略合成。 Zbl 07352056号 莱昂诺尔·温特勒;塞巴斯蒂安·荣格斯;拉尔夫·威默;詹森,尼尔斯;托普库,乌福;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 分类器集成的鲁棒性验证。 兹比尔1517.68238 格罗斯,丹尼斯;詹森,尼尔斯;吉列尔莫·佩雷斯。;斯蒂芬·拉伊梅克斯 1 2020 具有不确定比率的基于抽样的CTC验证。 Zbl 1514.68117号 Badings,Thom S。;詹森,尼尔斯;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 从过程代数到时间自动机再到模型学习的旅程。献给弗里茨·瓦德拉格60岁生日之际的散文。 Zbl 1515.68037号 2 2022 MDP中参数综合的凸优化。 Zbl 07742136号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;托普库,乌福 1 2022 在POMDP中实施几乎安全的可达性。 兹比尔1493.68213 塞巴斯蒂安·荣格斯;詹森,尼尔斯;Sanjit A.Seshia。 三 2021 通过基于游戏的抽象为机器人规划中的POMDP进行策略合成。 Zbl 07352056号 莱昂诺尔·温特勒;塞巴斯蒂安·荣格斯;拉尔夫·威默;詹森,尼尔斯;托普库,乌福;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 使用概率屏蔽进行安全强化学习(特邀论文)。 Zbl 07559459号 詹森,尼尔斯;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯,塞尔维亚人;罗德里克·布洛姆 5 2020 基于场景的不确定MDP验证。 Zbl 1507.68182号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;托普库,乌福 2 2020 分类器集成的鲁棒性验证。 兹比尔1517.68238 格罗斯,丹尼斯;詹森,尼尔斯;吉列尔莫·佩雷斯。;斯蒂芬·拉伊梅克斯 1 2020 牧羊群的马尔可夫链。 Zbl 1527.68144号 科什卡,米兰;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 pMDPs合成:1001个参数。 Zbl 1517.68227号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;托普库,乌福 9 2018 人类安全航行的模型检查。 Zbl 1514.68136号 塞巴斯蒂安·荣格斯;詹森,尼尔斯;Joost-Pieter卡托恩;托普库,乌福;张若翰;玛丽·海荷 2 2018 序贯凸规划用于参数MDP的有效验证。 Zbl 1452.68117号 穆拉特·库布克特佩;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;伊凡·帕普萨;哈桑·普纳瓦拉(Hasan A.Poonawala)。;托普库,乌福 8 2017 马尔可夫模型的参数合成:比以往更快。 Zbl 1398.68346号 蒂姆·夸特曼;克里斯蒂安·德内特;詹森,尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 23 2016 概率程序的有界模型检验。 Zbl 1398.68343号 詹森,尼尔斯;克里斯蒂安·德内特;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;卢卡斯·韦斯特霍芬 7 2016 概率规划中的条件处理。 Zbl 1351.68066号 詹森,尼尔斯;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;费德里科·奥利梅多;弗里德里希·格雷茨;安娜贝拉·麦克维尔 11 2015 了解概率程序。 Zbl 1444.68045号 Joost-Pieter卡托恩;弗里德里希·格雷茨;詹森,尼尔斯;本杰明·卢西恩·卡明斯基;费德里科·奥利梅多 9 2015 概率自动机的高级反例。 Zbl 1347.68211号 拉尔夫·威默;詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 三 2015 离散时间马尔可夫模型的反例生成:介绍性调查。 Zbl 1445.68130号 艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;詹森,尼尔斯;Joost-Pieter卡托恩;拉尔夫·威默 5 2014 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默;詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2014 快速调试PRISM模型。 Zbl 1448.68295号 克里斯蒂安·德内特;詹森,尼尔斯;拉尔夫·威默;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 2 2014 离散时间Markov模型的最小临界子系统。 Zbl 1352.68167号 拉尔夫·威默;詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;Joost-Pieter卡托恩 6 2012 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 詹森,尼尔斯;艾丽卡·阿尔布拉汉姆;Jens Katelaan公司;拉尔夫·威默;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2011 所有引用的出版物 前5名被引用出版物 全部的 前5名142位作者引用 25 Joost-Pieter卡托恩 16 塞巴斯蒂安·荣格斯 11 詹森,尼尔斯 5 拼写,Jip 4 克里斯特尔·拜尔 4 本杰明·卢西恩·卡明斯基 4 托普库,乌福 4 托拜厄斯·温克勒 三 陈明帅 三 穆拉特·库布克特佩 三 约阿希姆·克莱因 三 桑吉特·阿伦库马尔·塞希亚 三 亚历山德拉·席尔瓦 三 玛丽·斯托琳加 2 艾丽卡·阿尔布拉汉姆 2 Badings,Thom S。 2 埃齐奥·巴托西 2 贝恩德·贝克尔 2 科什卡,米兰 2 克里斯蒂安·德内特 2 霍尔格·吉斯 2 弗里德里希·格雷茨 2 恩斯特·莫里茨·哈恩 2 克里斯蒂安·亨塞尔 2 Lisa Hutschenreiter 2 克里斯托夫·马提亚 2 玛丽亚·马克西莫娃 2 费德里科·奥利梅多 2 吉列尔莫·佩雷斯。 2 哈桑·普纳瓦拉(Hasan A.Poonawala)。 2 斯文·施奈德 2 安娜·索科洛娃 2 马蒂亚斯·沃尔克 2 拉尔夫·维默(Ralf D.Wimmer)。 1 亚历山德罗·阿巴特 1 萨巴阿夫拉基 1 罗马人Andriushchenko 1 Krzysztof Rafal公寓 1 塞巴斯蒂安·阿明 1 朱塞佩·阿特尼塞 1 凯文·巴茨 1 阿尔伯特·本文尼斯特 1 博尔祖·博纳克达尔普尔 1 菲利波·邦奇 1 史蒂文·卡尔 1 埃泽奎尔·卡斯特拉诺 1 阿尔贝托·卡斯泰里尼 1 克里希南德·查特吉 1 肯塔·乔 1 吉尔勒米纳·克莱杜 1 戴婷 1 安吉洛·德·卡罗 1 吕克·德·雷德 1 希切姆·黛比 1 邓玉欣 1 弗兰克·杰姆 1 克里斯蒂安·埃利斯 1 亚历山德罗·法利内利 1 达里奥·菲奥雷 1 内特·福斯特 1 弗洛里安·芬克 1 保罗·盖纳 1 Daniel E.Gebler。 1 Jan Friso,格鲁特 1 顾涛 1 阿恩·哈特曼斯 1 一郎·哈索 1 见鬼,莱纳斯 1 罗尔夫·亨尼克 1 詹·菲利普·霍夫曼 1 侯赛因·霍贾特 1 史蒂文·霍尔岑 1 亚历山大·霍本 1 伊奥维诺、文森佐 1 巴特·雅各布斯 1 大卫·詹森(David N.Jansen)。 1 西蒙·詹奇 1 马克·乔伊 1 斯特凡·克里科维茨 1 卢茨·克林肯伯格 1 克吕佩尔霍尔茨,萨沙 1 科伦,布拉姆 1 科瓦奇,劳拉·伊尔迪科 1 德克斯特·C·科赞。 1 约翰内斯·克虏伯 1 奥尔纳·库普弗曼 1 Marta Z.Kwiatkowska。 1 费泽·拉巴夫 1 约翰内斯·莱曼 1 克雷格·列侬 1 米兰洛普哈·茨瓦肯贝格 1 康斯坦蒂诺斯·马穆拉斯 1 朱利奥·马齐 1 McIver,Annabelle K。 1 托德·德·米尔斯坦。 1 约书亚·莫尔曼 1 穆罕默德·穆萨维 1 斯蒂芬诺·尼科莱蒂(Stefano M.Nicoletti)。 1 马蒂斯·尼哈吉 1 诺尔,托马斯 …还有42位作者 全部的 前5名15篇连载文章中引用 三 信息与计算 2 人工智能 2 计算的形式方面 2 人工智能研究杂志 1 信息学报 1 计算 1 计算机与系统科学杂志 1 理论计算机科学 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 分布式计算 1 系统设计中的形式化方法 1 摩尔多瓦计算机科学杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 61 计算机科学(68至XX) 15 运筹学、数学规划(90-XX) 14 概率论与随机过程(60-XX) 6 数理逻辑与基础(03-XX) 三 系统论;控制(93至XX) 三 信息与通信理论、电路(94-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 统计学(62-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文