风暴 swMATH ID: 17417 软件作者： Christian Dehnert、Sebastian Junges、Joost-Pieter Katoen、Matthias Volk 描述： 概率模型检查器风暴（扩展抽象）。我们提出了一种新的概率模型检查器Storm。使用最先进的库，我们的目标是实现高性能和多功能。本扩展摘要简要概述了Storm的功能。 主页： https://www.stormchecker.org 源代码： https://github.com/moves-rwth/storm 依赖项： C类++ 关键词： 模型检查器；概率；马尔可夫模型 相关软件： 棱镜；PROPhESY公司；z3（零3）；珍妮；github；参数；iscas-Mc公司；MRMC公司；PRISM-游戏；Matlab公司；主旨；Uppaal公司；古罗比；西尔万；通过；CEGAR公司；POMDP公司；MCMAS公司；数学SAT5；艾根 引用于： 58文件 标准条款 1出版物描述软件 年份 概率模型检查器风暴（扩展抽象）arXiv公司德纳特，基督徒；塞巴斯蒂安·荣格斯；Joost-Pieter Katoen；马蒂亚斯·沃尔克 2016 全部的 前5名144位作者引用 15 Joost-Pieter卡托恩 11 塞巴斯蒂安·荣格斯 5 尼尔斯·詹森 4 埃齐奥·巴托西 4 简·Křetínsk 4 托普库，乌福 三 佛罗伦萨德尔格兰奇 三 吉列尔莫·佩雷斯。 三 蒂姆·夸特曼 三 米凯尔·兰多尔 三 托拜厄斯·温克勒 2 亚历山德罗·阿巴特 2 博尔祖·博纳克达尔普尔 2 托马斯·布里海耶 2 克里希南德·查特吉 2 穆拉特·库布克特佩 2 傅建玲 2 保罗·盖纳 2 什巴希斯·古哈 2 克里斯蒂安·亨塞尔 2 斯特凡·基弗 2 科瓦奇，劳拉·伊尔迪科 2 Marta Z.Kwiatkowska。 2 托拜厄斯·梅根多夫 2 梅静怡 2 格钦·诺曼 2 尤索夫·乌阿尔哈德 2 Jean-François拉斯金 2 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 2 马库斯·西格尔 2 安娜·索科洛娃 2 阿明·索塔尼耶 2 米罗斯拉夫斯坦科维奇 2 徐明 1 艾丽卡·阿尔布拉汉姆 1 萨巴阿夫拉基 1 查塔尼亚·阿加瓦尔 1 瓦卡尔·艾哈迈德 1 艾切尔尼格，伯恩哈德·K。 1 塞巴斯蒂安·阿明 1 克里斯特尔·拜尔 1 保罗·巴拉里尼 1 鲍嘉璐 1 马修·史蒂文·鲍尔 1 马哈茂德·本特里奥 1 菲利波·邦奇 1 勃兰登堡，Björn B。 1 达米安·巴斯托·加斯顿 1 卢卡·卡德利 1 史蒂文·卡尔 1 科什卡，米兰 1 罗希特·查达 1 查克拉波蒂，德布拉吉 1 乔治·查齐利夫赫里奥 1 德米特里五世·奇斯蒂科夫。 1 科宁，诺琳 1 保罗·亨里·库内德 1 雷蒙·达赫塞特 1 吕克·德·雷德 1 邓玉欣 1 克莱尔·狄克逊 1 奥延德里拉·多贝 1 克莱门斯，杜布拉夫 1 沃尔夫冈·德沃亚克 1 朱莉娅·艾森特罗 1 亚斯梅恩·埃尔德哈利 1 伯恩德·芬克贝纳 1 迈克尔·费希尔 1 哈达尔·弗兰克尔 1 蒂莫·格罗斯（Timo P.Gros）。 1 拉杜·格罗苏 1 古吉拉特邦，阿尔潘 1 克里斯托弗·哈恩 1 恩斯特·莫里茨·哈恩 1 阿恩·哈特曼斯 1 奥斯曼·哈桑 1 奥斯曼·哈桑 1 玛丽·海荷 1 霍尔格·赫尔曼斯 1 霍夫曼，约格 1 汤姆·霍拉克 1 贾斯汀·徐 1 黄成超 1 乌尔里希·赫斯塔特 1 Lisa Hutschenreiter 1 Katsaros，Panagiotis公司 1 Edon Kelmendi 1 穆罕默德·汉南·汗 1 汗，沙希德·阿里 1 迈克尔·克劳克 1 约阿希姆·克莱因 1 帕特里克·科普曼 1 金·古德斯特兰·拉森 1 阿波法兹·拉瓦伊 1 约翰内斯·莱曼 1 李勇 1 斯文·林杰 1 刘军 1 马蒂·奥利特，纳西索 1 马图尔，乌芒 …还有44位作者 全部的 前5名14篇连载文章中引用 4 信息与计算 4 计算机科学中的逻辑方法 三 理论计算机科学 三 系统设计中的形式化方法 2 计算的形式方面 1 人工智能 1 信息处理信件 1 Automatica公司 1 计算机与系统科学杂志 1 自动推理杂志 1 机器学习 1 分布式计算 1 人工智能研究杂志 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名在7个字段中引用 54 计算机科学（68至XX） 19 运筹学、数学规划（90-XX） 9 概率论与随机过程（60-XX） 4 数学逻辑和基础（03-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 2 统计学（62-XX） 按年份列出的引文