论文研究Approximate CTL model checking.pdf 下载 weixin_39882200 22 0 PDF 2020-03-05 17:03:35 近似CTL模型检测,朱维军,,计算树逻辑(CTL)模型检测的瓶颈——状态爆炸问题——尚未被根本解决。为此,通过引入机器学习(ML)技术来寻找CTL模型检测的可接� 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。