参数 swMATH ID: 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公司;风暴;通过;iscas-Mc公司;z3(零3);狂喜;MRMC公司;生物-PEPA;CEGAR公司;Uppaal公司;SMT-LIB公司;数学SAT5;西尔文;艾根;伊波特;超小卫星;数学软件;事实;漫画 引用于: 18文件 全部的 前5名54位作者引用 三 贝诺·德拉哈耶 三 塞巴斯蒂安·荣格斯 2 乔瓦尼·巴奇 2 克里斯特尔·拜尔 2 埃齐奥·巴托西 2 恩斯特·莫里茨·哈恩 2 Joost-Pieter卡托恩 2 金·古德斯特兰·拉森 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 阿尼塞特·巴特 1 马修·史蒂文·鲍尔 1 卢卡·博托卢西 1 罗希特·查达 1 穆拉特库布克特佩 1 卢卡·德·阿尔法罗 1 罗尔夫·德雷克斯勒 1 费雷尔·菲奥里蒂,路易斯·玛丽亚 1 Forejt,Vojtěch公司 1 福尼尔,波林 1 保罗·盖纳 1 拉杜·格罗苏 1 米克尔·汉森 1 克里斯蒂安·亨塞尔 1 霍尔格·赫尔曼斯 1 Lisa Hutschenreiter 1 尼尔斯·詹森 1 Panagiotis卡察罗斯 1 约阿希姆·克莱因 1 基里恩·克莱默 1 Marta Z.Kwiatkowska。 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 比约恩·瓦希特 1 维拉杰·布莱恩·维杰苏里亚 4篇连载文章中引用 2 信息与计算 1 理论计算机科学 1 系统设计中的形式化方法 1 《大学学报》。Informatica公司 全部的 前5名在8个字段中引用 17 计算机科学(68至XX) 8 概率论与随机过程(60-XX) 5 运筹学、数学规划(90-XX) 1 一般性和全局性主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 可变形固体力学(74-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文