《智能系统学报》
过刊查询页面
关键词中包括
linear temporal logic
的文章
1
线性时序逻辑约束下的滚动时域控制路径规划
焦梦甜, 宋运忠 2020年2期 [281-288][
摘要
](
4390
)
[
pdf
3906KB]
(
1934
)
DOI:
10.11992/tis.201810038