MRMC公司 swMATH ID: 4129 软件作者: Joost-Pieter Katoen;亚琛工业大学 描述: 概率模型检查器MRMC的输入和输出。马尔可夫奖励模型检查器(MRMC)是一种用于验证概率模型属性的软件工具。它支持PCTL和CSL模型检查,以及它们的奖励扩展。MRMC的显著特征是它支持计算时间和奖励有界可达性概率、(属性驱动的)互刺激最小化以及精确的动态稳态检测。最近的工具功能包括连续时间马尔可夫决策过程(CTMDP)的时域可达性分析和通过离散事件模拟进行CSL模型检查。本文介绍了该工具的现状及其实现细节。 主页: http://mrmc-tool.org/trac/ 编程语言: 无 操作系统: 无 依赖项: 无 关键词: 模型检查;马尔可夫链;CTMC公司;DTMC公司;物料需求管理;CTMDP公司;数值分析;离散事件模拟;互模拟最小化 相关软件: 棱镜;Uppaal公司;CADP公司;SIGREF公司;伊米尔;政治公众人物协议;z3型;风暴;CEGAR公司;NuSMV公司;自旋蛋白;LiQuor公司;聪明的_;克洛诺斯;生物-PEPA;DiPro公司;iscas-Mc公司;PROPhESY公司;参数;西尔文 引用于: 71文件 更多出版物: http://mrmc-tool.org/trac/wiki/书目 全部的 前5名149位作者引用 17 Joost-Pieter卡托恩 7 张丽君 6 霍尔格·赫尔曼斯 5 韩婷婷 5 亚历山大·梅雷克莱 4 亚历山德罗·阿巴特 4 陈、陶璐 4 大卫·詹森(David N.Jansen)。 4 维雷娜·沃尔夫 三 艾丽卡·阿尔布拉汉姆 三 克里斯特尔·拜尔 三 贝恩德·贝克尔 三 恩斯特·莫里茨·哈恩 三 Boudewijn R.哈维尔科特。 三 尼尔斯·詹森 三 拉尔夫·维默(Ralf D.Wimmer)。 2 巴伯,贝诺 2 埃齐奥·巴托奇 2 卢卡·博托卢西 2 布,露西娅 2 克莱门斯·杜伯斯拉夫 2 Esmaeil Zadeh Soudjani,萨代 2 古克,丹尼斯 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 芭芭拉·乔布斯曼 2 丹尼尔·克林克 2 克吕佩尔霍尔茨,萨沙 2 萨瓦斯·科努尔 2 科瓦奇,劳拉·伊尔迪科 2 Marta Z.Kwiatkowska。 2 马丁·勒克 2 约翰·莱杰罗斯 2 米利奥斯·迪米特里奥斯 2 弗莱明·尼尔森 2 格钦·诺曼 2 玛丽亚·普兰迪尼 2 吉多·桑吉内蒂 2 米罗斯拉夫斯坦科维奇 2 特里巴斯通,米尔科 2 安德烈·范丁 2 比约恩·瓦希特 1 艺术、忠诚 1 瓦卡尔·艾哈迈德 1 亚历山德罗·阿尔迪尼 1 侯赛因·阿尔贾扎尔 1 弗洛里安·阿诺德 1 穆罕默德·埃敏·巴克尔 1 马修·史蒂文·鲍尔 1 马可·贝尔纳多 1 纳塔莉·伯特兰 1 Biscaia,M。 1 斯特凡·布隆 1 埃卡德·伯德 1 亚伦·波希 1 马尔科·博扎诺 1 维罗尼克·布鲁埃 1 卡德,莫菲 1 卢卡·卡德利 1 罗希特·查达 1 亚历山德罗·西马蒂 1 Dannenberg,弗里茨 1 洛科·德尼古拉 1 希切姆·黛比 1 克里斯蒂安·德内特 1 罗尔夫·德雷克斯勒 1 约翰·费恩利 1 冯、袁 1 安东尼奥·菲列里 1 高,杨 1 休伯特·加拉维 1 尼古拉斯·加斯特 1 Daniel E.Gebler。 1 马克·盖伦 1 玛丽安·盖奥吉 1 卡洛·盖齐 1 斯蒂芬·吉尔摩(Stephen T.Gilmore)。 1 拉杜·格罗苏 1 谢尔盖,哈达德 1 奥斯曼·哈桑 1 一郎·哈索 1 哈桑·哈特菲 1 简·希尔斯顿 1 约翰·Hölzl 1 塞巴斯蒂安·荣格斯 1 Jens Katelaan公司 1 胜本,Shin-ya 1 蒂姆·凯姆纳 1 斯特凡·基弗 1 约阿希姆·克莱因 1 Kori、Mayuko 1 简·克查尔 1 马蒂亚斯·昆茨 1 哈科·库彭斯 1 弗雷德里克·朗 1 金·古德斯特兰·拉森 1 迭戈·拉特拉 1 斯特凡·洛伊 1 琳达·卢施纳 1 米歇尔·洛雷蒂 1 鲁帕克·马朱姆达尔 …还有49位作者 全部的 前5名17篇连载文章中引用 7 理论计算机科学 4 系统设计中的形式化方法 4 计算机科学中的逻辑方法 三 信息与计算 三 计算的形式方面 2 信息学学报 2 欧洲控制杂志 1 计算 1 计算机与系统科学杂志 1 自动推理杂志 1 机器学习 1 国际计算机科学基础杂志 1 美国计算机学会模型和计算机仿真汇刊 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 ACM计算逻辑事务 全部的 前5名在14个字段中引用 66 计算机科学(68至XX) 22 概率论与随机过程(60-XX) 6 运筹学、数学规划(90-XX) 4 系统论;控制(93至XX) 三 数学逻辑和基础(03-XX) 三 数值分析(65-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 常微分方程(34-XX) 1 积分方程(45-XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文