2016年6月23日
PRISM概率模型检测器初使用--骰子模型（改进版）
摘要： PRISM-probabilistic model checker概率模型检测器骰子模型 The dieexample 与马尔科夫链有关 -目录PRISM-probabilistic model checker概率模型检测器PRISM code代码解释操作解释- Explori... 阅读全文
posted @ 2016-06-23 14:27 sriting 阅读(1113) 评论(0) 推荐(0) 编辑