参数 swMATH编号： 9669 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 描述： 参数马尔可夫模型的模型检查器。我们提出了参数离散时间马尔可夫链（PMC）的模型检查器PARAM 1.0。PARAM可以评估PMC的时间属性以及此类的某些扩展。由于参数的存在，评价结果是多项式或有理函数。通过实例化结果函数中的参数，可以基于单个更昂贵的分析，廉价地获得多个单独实例化的结果。此外，还可以使用计算机代数包对结果函数进行符号化后处理，以获得最佳参数或识别最坏情况。 主页： http://link.springer.com/chapter/10.1007/978-3642-14295-6_56 相关软件： 棱镜;PROPhESY公司;风暴;通过;iscasMc公司;z3（零3）;狂喜;MRMC公司;生物-PEPA;香醋;Uppaal公司;SMT-LIB公司;数学SAT5;西尔文;本征;伊波特;超小卫星;事实;漫画;DFTCalc公司 引用于： 16文件 全部的 前5名51位作者引用 三 贝诺·德拉哈耶 三 塞巴斯蒂安·荣格斯 2 克里斯特尔·拜尔 2 埃齐奥·巴托西 2 恩斯特·莫里茨·哈恩 2 Joost-Pieter卡托恩 1 艾丽卡·阿尔布拉汉姆 1 乔瓦尼·巴奇 1 阿尼塞特·巴特 1 马修·史蒂文·鲍尔 1 卢卡·博托卢西 1 罗希特·查达 1 穆拉特·库布克特佩 1 卢卡·德·阿尔法罗 1 罗尔夫·德雷克斯勒 1 费雷尔·菲奥里蒂，路易斯·玛丽亚 1 Forejt、VojtŞch 1 波林·福尼尔 1 保罗·盖纳 1 拉杜·格罗苏 1 克里斯蒂安·亨塞尔 1 霍尔格·赫尔曼斯 1 Lisa Hutschenreiter 1 詹森，尼尔斯 1 Katsaros，Panagiotis公司 1 约阿希姆·克莱因 1 基里恩·克莱默 1 Kwiatkowska，Marta Z。 1 金·古德斯特兰·拉森 1 莱姆，迪迪埃 1 彼得罗·利奥 1 安德斯·马里加德 1 乌芒·马图尔 1 伊曼纽拉·梅雷利 1 米利奥斯·迪米特里奥斯 1 埃里克·蒙弗罗伊 1 尼古拉·保莱蒂 1 伊凡·帕普萨 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 普拉萨德·西斯特拉。 1 罗马克里希南，C.R。 1 吉多·桑吉内蒂 1 斯文·舍韦 1 马库斯·西格尔 1 斯科特·斯莫尔卡。 1 马蒂杰斯·斯帕。 1 塔蒂，巴拉斯·西瓦·库马尔 1 乌富克托普库 1 夏洛特·特鲁切特 1 马赫什·维斯瓦纳坦 1 比约恩·瓦希特 4篇连载文章中引用 2 信息与计算 1 理论计算机科学 1 系统设计中的形式化方法 1 《大学学报》。Informatica公司 全部的 前5名在7个字段中引用 15 计算机科学（68至XX） 7 概率论与随机过程（60-XX） 4 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 可变形固体力学（74-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文