晏荣杰 郭成 李兆斌 刘宏敏 李广元 徐雨波 黄岩 吴军 唐稚松

双缓冲技术 模型检测 发展 铁路运输 可达性 环境感知 符号化方法 运行图 控制 面向对象方法 交通仿真 模型检验 规划决策 自主车辆 有限精度时间自动机

中国科学院研究生院 中国科学院软件研究所计算机科学重点实验室