《智能系统学报》 过刊查询页面

    关键词中包括 linear temporal logic 的文章

1 线性时序逻辑约束下的滚动时域控制路径规划
焦梦甜, 宋运忠 2020年2期 [281-288][摘要](4390)[pdf 3906KB](1934)