论文研究-使用多种机器学习算法预测CTL模型检测 .pdf

【文件属性】：

文件名称：论文研究-使用多种机器学习算法预测CTL模型检测 .pdf

文件大小：518KB

文件格式：PDF

更新时间：2022-09-03 11:26:31

机器学习

使用多种机器学习算法预测CTL模型检测，朱维军，樊永文，计算树逻辑（CTL）模型检测现已应用在多个领域。然而，状态爆炸问题限制了计算树逻辑模型检测的进一步应用。研究人员已经提出了许