2016年3月12日
PRISM概率模型检测器初使用--骰子模型
摘要：  PRISM—probabilistic model checker概率模型检测器 骰子模型 The dieexample http://www.prismmodelchecker.org/tutorial/die.php 与马尔科夫链有关 PRISM code： dt... 阅读全文
posted @ 2016-03-12 21:43 sriting 阅读(428) 评论(0) 推荐(0) 编辑