论文研究-Approximate CTL model checking.pdf

【文件属性】：

文件名称：论文研究-Approximate CTL model checking.pdf

文件大小：180KB

文件格式：PDF

更新时间：2022-09-04 04:32:24

Machine Learning

近似CTL模型检测，朱维军，，计算树逻辑（CTL）模型检测的瓶颈——状态爆炸问题——尚未被根本解决。为此，通过引入机器学习（ML）技术来寻找CTL模型检测的可接�