关键词probabilistic hyperproperties
搜索结果 - 2
- 概率超性质的演绎式控制合成
提出了一种新的方法来解决马尔可夫决策过程(MDPs)和概率超性质的控制器合成问题,该方法在超级概率计时逻辑(HyperPCTL)的基础上增加了合成控制器的结构约束,采用逐步修正策略修剪搜索空间并与先前的 SMT 模型检查工具相比取得了显著的 - 使用 HyperPCTL * 的多智能体系统贝叶斯统计模型检验
本文介绍了基于贝叶斯方法的统计模型检查(SMC)算法,用于在离散时间马尔可夫链(DTMC)上检查指定于逻辑 HyperPCTL * 的概率超性质;我们提出了一种基于递归算法的 SMC 超算法,该算法基于修改后的贝叶斯测试,考虑了递归可满足结