电脑体验，效果更佳

可达集图谱-自然科学领域：

研究人员

罗来豹 韩志涛 张嗣瀛 张苗苗 谢剑英 李辉 刘震 段晓东

相关术语

凸多面体 局部可达集 U-可达集 矩形自动机 混合系统 子系统 形式验证 弱能控性

标签云