电脑体验，效果更佳

胡元闯图谱-自然科学领域：

相关人员

董荣胜 王飞明

研究领域

时态逻辑 形式验证 状态爆炸 模型检测

标签云