电脑体验，效果更佳

CTL图谱-计算机领域：

研究人员

黄巍 杜惠敏 齐治昌 郝克刚 姜云飞 韩俊刚 彭宏 吴宏

相关术语

时态逻辑 EAG（LE） 顺序图 模型检验 不确定的智能规划 BDD 符号模型检验 执行结构

标签云