编辑配置文件（在新选项卡中打开） 塞巴斯蒂安·荣格斯 合著者距离 作者ID： 丛林斯巴士提亚 发布日期： 塞巴斯蒂安·荣格斯 已编制索引的文档： 35出版物自2013年起 合著者： 51位合著者具有35联合出版物 802合作作者 全部的 前5名合著者 0 单作者的 26 Joost-Pieter卡托恩 12 尼尔斯·詹森 6 蒂姆·夸特曼 6 乌富克托普库 4 穆拉特库布克特佩 4 玛丽·斯托琳加 三 科什卡，米兰 三 桑吉特·阿伦库马尔·塞希亚 三 拼写，Jip 2 艾丽卡·阿尔布拉汉姆 2 弗洛里安·科齐利厄斯 2 古克，丹尼斯 2 阿恩·哈特曼斯 2 克里斯蒂安·亨塞尔 2 吉列尔莫·A·佩雷斯。 2 阿伦德·伦辛克 2 马蒂亚斯·沃尔克 2 托比亚斯·温克勒 1 罗马人Andriushchenko 1 Badings，Thom S。 1 克里斯特尔·拜尔 1 凯文·巴茨 1 贝恩德·贝克尔 1 罗德里克·布洛姆 1 亚历山大·博克 1 克里斯蒂安·德内特 1 玛丽·海荷 1 见鬼，莱纳斯 1 史蒂文·霍尔岑 1 Hutschenreiter，丽莎 1 本杰明·卢西恩·卡明斯基 1 约阿希姆·克莱因 1 贝蒂娜·科尼霍费尔 1 基里恩·克莱默 1 乌尔里奇·洛普 1 克里斯托夫·马提亚 1 托德·德·米尔斯坦。 1 约书亚·莫尔曼 1 伊凡·帕普萨 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 朱里安·罗特 1 菲利普·施罗德 1 斯特凡·舒普 1 亚历克斯，塞尔维亚人 1 马蒂杰斯·斯帕。 1 托法、哈泽姆 1 范登·布勒克，盖伊 1 马塞尔·瓦兹奎兹·香拉特 1 拉尔夫·D·威默。 1 莱昂诺尔·温特勒 1 张若翰 全部的 前5名系列 2 IEEE自动控制汇刊 2 计算的形式方面 1 计算机与系统科学杂志 1 信息与计算 1 自动推理杂志 1 系统设计中的形式化方法 全部的 前5名领域 33 计算机科学（68至XX） 15 运筹学、数学规划（90-XX） 8 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 数理逻辑与基础（03-XX） 1 交换代数（13-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用157中的次73文件 引用人▼ 年份▼ 马尔可夫模型的参数合成：比以往更快。 兹比尔1398.68346 蒂姆·夸特曼;克里斯蒂安·德内特;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 24 2016 SMT-RAT型：开源C类++用于战略和并行SMT解决的工具箱。 兹比尔1471.68241 弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 17 2015 参数马尔可夫决策过程中可达性的复杂性。 Zbl 1477.68124号 塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托拜厄斯·温克勒 12 2021 参数马尔可夫链：PCTL复杂性和无分数高斯消去。 Zbl 1443.68101号 克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Hutschenreiter，丽莎;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 12 2020 pMDPs合成：1001个参数。 Zbl 1517.68227号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 10 2018 序贯凸规划用于参数MDP的有效验证。 Zbl 1452.68117号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;伊凡·帕普萨;哈桑·普纳瓦拉（Hasan A.Poonawala）。;乌富克托普库 8 2017 MDP中的多成本有界可达性。 Zbl 1423.68282号 阿恩·哈特曼斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 8 2018 参数马尔可夫链是单调的吗？ Zbl 1437.68121号 拼写，Jip;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 8 2019 初级集成电路3：MDB的属性定向可达性。 Zbl 1478.68143号 凯文·巴茨;塞巴斯蒂安·荣格斯;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;克里斯托夫·马提亚;菲利普·施罗德 5 2020 验证不确定范围POMDP。 Zbl 1517.68225号 亚历山大·博克;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 5 2020 使用概率屏蔽进行安全强化学习（特邀论文）。 兹伯利07559459 尼尔斯·詹森;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;布洛克，罗德里克 5 2020 基于Gröbner基的可满足性-模理论求解实数。 Zbl 1398.68696号 塞巴斯蒂安·荣格斯;乌尔里奇·洛普;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 4 2013 发现可证明的最优马尔可夫链。 Zbl 1467.68095号 拼写，Jip;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 4 2021 多目标马尔可夫自动机。 Zbl 1494.68146号 蒂姆·夸特曼;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 4 2017 MDP中的多成本有界权衡分析。 Zbl 1468.68132号 阿恩·哈特曼斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 三 2020 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Seshia、Sanjit A。 三 2021 概率程序的归纳综合达到了新的境界。 Zbl 1467.68035号 罗马人Andriushchenko;科什卡，米兰;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 三 2021 具有不确定速率的CTMC的基于抽样的验证。 兹伯利1514.68117 Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 基于场景的不确定MDP验证。 Zbl 1507.68182号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 三 2020 牧羊群的马尔可夫链。 兹比尔1527.68144 科什卡，米兰;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 利用概率推理对有限水平马尔可夫链进行模型检验。 Zbl 1493.68210号 史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Seshia、Sanjit A。;盖伊，范登·布勒克 2 2021 人类安全航行的模型检查。 Zbl 1514.68136号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Joost-Pieter卡托恩;乌富克托普库;张若翰;玛丽·海荷 2 2018 MDP中参数综合的凸优化。 Zbl 07742136号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 2 2022 部分可观测性下随机控制器的渐变。 Zbl 1498.68159号 见鬼，莱纳斯;拼写，Jip;塞巴斯蒂安·荣格斯;约书亚·莫尔曼;Joost-Pieter卡托恩 2 2022 饮食中的故障树-通过图形重写自动减少。 Zbl 1369.68172号 塞巴斯蒂安·荣格斯;古克，丹尼斯;Joost-Pieter卡托恩;伦辛，阿伦德;玛丽·斯托琳加 1 2015 通过基于游戏的抽象为机器人规划中的POMDP进行策略合成。 Zbl 07352056号 莱昂诺尔·温特勒;塞巴斯蒂安·荣格斯;拉尔夫·威默;尼尔斯·詹森;乌富克托普库;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯;托法，哈泽姆;Seshia、Sanjit A。 1 2021 饮食中的故障树：通过图形重写实现自动减少。 Zbl 1370.68063号 塞巴斯蒂安·荣格斯;古克，丹尼斯;Joost-Pieter卡托恩;伦辛，阿伦德;玛丽·斯托琳加 1 2017 参数马尔可夫决策过程可达性的复杂性。 Zbl 07649922号 托拜厄斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩 1 2019 分层概率模型的抽象细化。 Zbl 1514.68029号 塞巴斯蒂安·荣格斯;马蒂杰斯·斯帕。 1 2022 具有不确定速率的CTMC的基于抽样的验证。 Zbl 1514.68117号 Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 MDP中参数综合的凸优化。 Zbl 07742136号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 2 2022 部分可观测性下随机控制器的渐变。 Zbl 1498.68159号 见鬼，莱纳斯;斯佩尔，吉普;塞巴斯蒂安·荣格斯;约书亚·莫尔曼;Joost-Pieter卡托恩 2 2022 分层概率模型的抽象细化。 Zbl 1514.68029号 塞巴斯蒂安·荣格斯;马蒂杰斯·斯帕。 1 2022 参数马尔可夫决策过程可达性的复杂性。 Zbl 1477.68124号 塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托拜厄斯·温克勒 12 2021 发现可证明的最优马尔可夫链。 Zbl 1467.68095号 斯佩尔，吉普;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 4 2021 在POMDP中实施几乎安全的可达性。 Zbl 1493.68213号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Seshia、Sanjit A。 三 2021 概率程序的归纳综合达到了新的水平。 Zbl 1467.68035号 罗马人Andriushchenko;科什卡，米兰;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 三 2021 利用概率推理对有限水平马尔可夫链进行模型检验。 Zbl 1493.68210号 史蒂文·霍尔岑;塞巴斯蒂安·荣格斯;马塞尔·瓦兹奎兹·香拉特;托德·米尔斯坦;Seshia、Sanjit A。;盖伊，范登·布勒克 2 2021 通过基于游戏的抽象为机器人规划中的POMDP进行策略合成。 Zbl 07352056号 莱昂诺尔·温特勒;塞巴斯蒂安·荣格斯;拉尔夫·威默;尼尔斯·詹森;乌富克托普库;Joost-Pieter卡托恩;贝恩德·贝克尔 1 2021 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯;托法、哈泽姆;Seshia、Sanjit A。 1 2021 参数马尔可夫链：PCTL复杂性和无分数高斯消去。 Zbl 1443.68101号 克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Hutschenreiter，丽莎;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 12 2020 初级集成电路3：MDP的属性定向可达性。 Zbl 1478.68143号 凯文·巴茨;塞巴斯蒂安·荣格斯;本杰明·卢西恩，卡明斯基;Joost-Pieter卡托恩;克里斯托夫·马提亚;菲利普·施罗德 5 2020 验证不确定范围POMDP。 Zbl 1517.68225号 亚历山大·博克;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 5 2020 使用概率屏蔽进行安全强化学习（特邀论文）。 Zbl 07559459号 尼尔斯·詹森;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯·塞尔班;罗德里克·布洛姆 5 2020 MDP中的多成本有界权衡分析。 Zbl 1468.68132号 阿尔恩哈特曼斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 三 2020 基于场景的不确定MDP验证。 Zbl 1507.68182号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 三 2020 参数马尔可夫链是单调的吗？ Zbl 1437.68121号 拼写，Jip;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 8 2019 牧羊群的马尔可夫链。 Zbl 1527.68144号 科什卡，米兰;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 2 2019 参数马尔可夫决策过程可达性的复杂性。 Zbl 07649922号 托拜厄斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩 1 2019 pMDPs合成：1001个参数。 Zbl 1517.68227号 穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 10 2018 MDP中的多成本有界可达性。 兹比尔1423.68282 阿恩·哈特曼斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;蒂姆·夸特曼 8 2018 人类安全航行的模型检查。 Zbl 1514.68136号 塞巴斯蒂安·荣格斯;尼尔斯·詹森;Joost-Pieter卡托恩;乌富克托普库;张若翰;玛丽·海荷 2 2018 序贯凸规划用于参数MDP的有效验证。 Zbl 1452.68117号 穆拉特·库布克特佩;詹森，尼尔斯;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;伊凡·帕普萨;哈桑·普纳瓦拉（Hasan A.Poonawala）。;乌富克托普库 8 2017 具有多个目标的马尔可夫自动机。 Zbl 1494.68146号 蒂姆·夸特曼;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 4 2017 饮食中的故障树：通过图形重写实现自动减少。 Zbl 1370.68063号 塞巴斯蒂安·荣格斯;古克，丹尼斯;Joost-Pieter卡托恩;阿伦德·伦辛克;玛丽·斯托琳加 1 2017 马尔可夫模型的参数合成：比以往更快。 兹比尔1398.68346 蒂姆·夸特曼;克里斯蒂安·德内特;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 24 2016 SMT-RAT型：开源C类++用于战略和并行SMT解决的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯;基里恩·克莱默;塞巴斯蒂安·荣格斯;斯特凡·舒普;艾丽卡·阿尔布拉汉姆 17 2015 饮食中的故障树-通过图形重写自动减少。 Zbl 1369.68172号 塞巴斯蒂安·荣格斯;古克，丹尼斯;Joost-Pieter卡托恩;阿伦德·伦辛克;马里耶·斯托林加 1 2015 基于Gröbner基的可满足性-模理论求解实数。 Zbl 1398.68696号 塞巴斯蒂安·荣格斯;乌尔里奇·洛普;弗洛里安·科齐利厄斯;艾丽卡·阿尔布拉汉姆 4 2013 所有引用出版物 前5名被引用出版物 全部的 前5名169位作者引用 26 Joost-Pieter卡托恩 20 塞巴斯蒂安·荣格斯 10 艾丽卡·阿尔布拉汉姆 7 尼尔斯·詹森 7 基里恩·克莱默 5 拼写，Jip 4 蒂姆·夸特曼 4 玛丽·斯托琳加 4 托普库，乌福 三 穆拉特·库布克特佩 三 詹姆斯·哈罗德·达文波特 三 佛罗伦萨德尔格兰奇 三 英格兰，Matthew 三 米凯尔·兰多尔 三 桑吉特·阿伦库马尔·塞希亚 三 马蒂亚斯·沃尔克 三 托拜厄斯·温克勒 2 亚历山德罗·阿巴特 2 Badings，Thom S。 2 克里斯特尔·拜尔 2 托马斯·布里海耶 2 科什卡，米兰 2 陈明帅 2 亚历山德罗·西马蒂 2 弗洛里安·科齐利厄斯 2 阿尔贝托·格里乔 2 恩斯特·莫里茨·哈恩 2 阿恩·哈特曼斯 2 一郎·哈索 2 克里斯蒂安·亨塞尔 2 Hutschenreiter，丽莎 2 约阿希姆·克莱因 2 尤索夫·乌阿尔哈德 2 吉列尔莫·A·佩雷斯。 2 哈桑·普纳瓦拉（Hasan A.Poonawala）。 2 巴哈雷省萨勒马尼 2 斯特凡·舒普 2 杰里米·斯普洛斯顿 2 托马斯·斯特姆 1 约翰·A·阿伯特。 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 萨巴阿夫拉基 1 埃利·阿纳斯塔西亚迪 1 罗马人Andriushchenko 1 塞巴斯蒂安·阿明 1 白、云君 1 克拉克·W·巴雷特。 1 埃齐奥·巴托西 1 凯文·巴茨 1 贝恩德·贝克尔 1 安娜·玛丽亚·比加蒂 1 博尔祖·博纳克达尔普尔 1 布莱恩，马丁 1 布莱特，柯蒂斯 1 克里斯托弗·布朗（Christopher W.Brown）。 1 布赫伯格，布鲁诺 1 史蒂文·卡尔 1 卡斯特拉诺，埃齐基尔 1 阿尔贝托·卡斯泰里尼 1 克里希南德·查特吉 1 吉尔勒米纳·克莱杜 1 凯瑟琳·科德威尔 1 Czarnecki，克日什托夫 1 安吉洛·德·卡罗 1 吕克·德·雷德 1 弗兰克·杰姆 1 mnesc博士，Isabela 1 特里斯坦·埃伯特 1 亚斯梅恩·埃尔德哈利 1 克里斯蒂安·埃利斯 1 瑟伦·埃内沃德森 1 梅德利纳·埃拉什库 1 亚历山德罗·法利内利 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 阿德里安·弗兰卡兰扎 1 傅建玲 1 保罗·盖纳 1 维杰·加内什 1 古克，丹尼斯 1 奥斯曼·哈桑 1 见鬼，莱纳斯 1 阿尔伯特·海因勒 1 罗尔夫·亨尼克 1 史蒂文·霍尔岑 1 黄成超 1 Ingólfsdóttir，安娜 1 伊奥维诺、文森佐 1 都铎王朝的杰贝利安人 1 马蒂亚斯·克劳斯·詹森 1 焦、李 1 德扬·约瓦诺维奇 1 马克·乔伊 1 本杰明·卢西恩·卡明斯基 1 康嘉文 1 胜本，Shin-ya 1 斯特凡·克里科维茨 1 科伦，布拉姆 1 Kori、Mayuko ……还有69位作者 全部的 前5名15篇连载文章中引用 三 信息与计算 三 人工智能研究杂志 2 人工智能 2 符号计算杂志 2 计算的形式方面 2 计算机科学中的逻辑方法 1 信息处理信件 1 计算机与系统科学杂志 1 自动推理杂志 1 机器学习 1 分布式计算 1 系统设计中的形式化方法 1 计算机科学中的数学 1 《大学学报》。Informatica公司 1 程序设计中的逻辑和代数方法杂志 全部的 前5名17个字段中引用 69 计算机科学（68至XX） 18 运筹学、数学规划（90-XX） 10 概率论与随机过程（60-XX） 7 数理逻辑与基础（03-XX） 三 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 代数拓扑（55-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文