×

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位作者

按年份列出的引文