04 2020 档案

解决状态空间爆炸的方法简介
摘要：https://blog.csdn.net/HHCC001/article/details/83058148?depth_1 utm_source=distribute.pc_relevant.none task blog BlogCommendFromBaidu 3&utm_source=dist 阅读全文
posted @ 2020-04-17 14:26 ouyangyangyang 阅读(826) 评论(0) 推荐(0) 编辑
模型检测工具汇总
摘要：http://www.yingzinanfei.com/2017/02/01/moxingjiancegongjuhuizong/ 阅读全文
posted @ 2020-04-17 14:16 ouyangyangyang 阅读(300) 评论(0) 推荐(0) 编辑
模态逻辑
摘要：Kripke结构 http://blog.sina.com.cn/s/blog_53a8498d010178t1.html 模态逻辑的类型 http://blog.sina.com.cn/s/blog_53a8498d010178z1.html 线性时态逻辑 http://blog.sina.com 阅读全文
posted @ 2020-04-14 22:59 ouyangyangyang 阅读(354) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示