电脑体验，效果更佳

罗来豹图谱-自然科学领域：

相关人员

刘震 李加良 方敏

研究领域

可达集 混合自动机 混合系统 有向矩形壳 形式验证 常压炉 凸多面体

标签云