伯明翰概率 系统. PRISM支持三个概率模型:离散时间马尔可夫...通过模型检验系统与概率时态逻辑PCTL...分析概率终止,性能和服务质量属性系统,包括...
 PMaude:基于重写的规范语言概率对象系统. 我们引入了一个基于重写的规范...建模语言概率并发和分布式系统. 这种语言,基于pMude,有两个...模块帮助编写规范概率演员形式主义.这让我们可以很容易地写...量化的)非确定性概率 系统是一种统计分析的必要形式...
 最近扩展到概率 系统. 然而,转移矩阵的表示...非常大的很贵系统可能会导致模型检验的高昂成本...对a的高度自信感到满意概率 系统. 我们的随机算法只需要一个简洁的...
 统计模型检查器和分析器概率 系统. 灶神星是一个统计分析工具...概率 系统. 它支持统计模型检查[6,7]和期望值的统计评估...检查是否指定了属性概率计算树逻辑(PCTL)[3]或连续随机...
 应用CEGAR验证概率 系统,各种基础性问题应运而生.本文探讨...
 ProbView:一个灵活的概率数据库系统. 概率论是数学上最容易理解的范式...在所涉及的事件中.以前的工作概率数据库假定了一个固定的和有限制的组合...想法,我们已经开发了一个原型概率数据库系统在Dbase上调用ProbView...
 有吸引力的形式分析方法概率 系统例如,网络物理系统哪个...可用于像Maude这样的工具,在哪里概率 系统可以在高级别指定...支持的统计模型检查概率实时系统指定为:(i)离散...
 自动验证和策略综合概率 系统有竞争或合作行为.模型...
 不同于以往的发展努力概率关系系统因为我们建立了一个概率... 重复的子元素.我们提出一个概率解决所有这些挑战的XML模型...使用自然语言分析系统. 我们提出了一个简单的案例研究后...展示概率XML数据管理...
 伊莎贝尔动物园概率 系统:多种型号概率 系统在文献中被研究过...形式化概率 系统通过对不同类型的语义建模...
 酒是检验的工具概率反应性系统建模的Probmela程序,这是术语...
 逻辑和概率复合物分析系统. Smart可以结合不同的形式...
 五月天:A概率数据库管理系统. MayBMS是最先进的概率数据库...
 图形独立网络,也称为概率专家系统或者贝叶斯网络...
 斯雷克:A概率随机混杂系统的有界Delta可达性分析系统. 在本文中...解决方案概率两类随机混杂模型的有界可达性问题系统... 具有参数不确定性.第二个是概率混合自动机具有额外的随机性...非线性混杂系统有多个概率 系统参数...
 麦金太尔:蒙特卡洛系统对于概率逻辑编程.概率正在接收逻辑...正常程序采样自概率程序.问题系统包括这样一个算法...转换概率程序转换成一个普通程序,查询...序言引擎.结果系统,称为麦金太尔的蒙特卡罗推断与雅普记录...
 吓人的
 斯派克:A系统对于概率面向对象的知识表示.在之前的工作中,我们指出...本文中,我们提出了一个系统解决了这些限制.欺骗工具...
 操作数向量,或系统常系数线性常微分方程组...此外,计算的解受概率限制.除了处理通用矩阵...
 Matlab工具箱概率控制分析与综合系统受各种不确定性结构的影响...