编辑配置文件（在新选项卡中打开） 尼尔斯·詹森 合著者距离 作者ID： jansen.nils公司 发布日期： 尼尔斯·詹森 编入索引的文档： 27出版物自2011年起，包括1个附加arXiv预打印 3作为编辑的贡献 合著者： 40位合著者具有30联合出版物 915合著作者 全部的 前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 Annabelle K.McIver。 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文件 引用人▼ 年份▼ 马尔可夫模型的参数合成：比以往更快。 Zbl 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 使用概率屏蔽的安全强化学习（邀请论文）。 兹伯利07559459 尼尔斯·詹森;贝蒂娜·柯尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;罗德里克·布洛姆 5 2020 离散时间马尔可夫链的层次反例。 Zbl 1348.68139号 尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Jens Katelaan公司;拉尔夫·威默;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2011 线性时间概率验证的最小反例。 Zbl 1360.68604号 拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 4 2014 概率自动机的高级反例。 Zbl 1347.68211号 拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 三 2015 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Sanjit A.Seshia。 三 2021 具有不确定速率的CTMC的基于抽样的验证。 Zbl 1514.68117号 Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 人类安全航行的模型检查。 Zbl 1514.68136号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Joost-Pieter卡托恩;乌富克托普库;张若翰;玛丽·海荷 2 2018 快速调试PRISM模型。 Zbl 1448.68295号 克里斯蒂安·德内特;尼尔斯·詹森;拉尔夫·威默;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩 2 2014 从过程代数到时间自动机再到模型学习的旅程。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。 Zbl 1515.68037号 2 2022 基于场景的不确定MDP验证。 Zbl 1507.68182号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 2 2020 牧羊群的马尔可夫链。 Zbl 1527.68144号 科什卡，米兰;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 MDP中参数综合的凸优化。 Zbl 07742136号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 1 2022 分类器集成的稳健性验证。 Zbl 1517.68238号 格罗斯，丹尼斯;尼尔斯·詹森;吉列尔莫·A·佩雷斯。;拉伊梅克斯，斯蒂芬 1 2020 通过基于游戏的抽象对机器人规划中的POMDP进行策略综合。 兹伯利07352056 莱昂诺尔·温特勒;塞巴斯蒂安·荣格斯;拉尔夫·威默;尼尔斯·詹森;乌富克托普库;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 具有不确定速率的CTMC的基于抽样的验证。 Zbl 1514.68117号 Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 从过程代数到时间自动机再到模型学习的旅程。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。 Zbl 1515.68037号 2 2022 MDP中参数综合的凸优化。 Zbl 07742136号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 1 2022 在POMDP中实施几乎安全的可达性。 Zbl 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 分类器集成的稳健性验证。 Zbl 1517.68238号 格罗斯，丹尼斯;尼尔斯·詹森;吉列尔莫·A·佩雷斯。;斯蒂芬·拉伊梅克斯 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 马尔可夫模型的参数合成：比以往任何时候都快。 兹比尔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 吉列尔莫·A·佩雷斯。 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 Kovács，Laura Ildikó 1 德克斯特·C·科赞。 1 约翰内斯·克虏伯 1 奥尔纳·库普弗曼 1 Marta Z.Kwiatkowska。 1 费泽·拉巴夫 1 约翰内斯·莱曼 1 克雷格·列侬 1 米兰洛普哈·茨瓦肯贝格 1 康斯坦蒂诺斯·马穆拉斯 1 朱利奥·马齐 1 Annabelle K.McIver。 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） 按年份列出的引文