共 22 条
[5]
胡星标, 1991, [数学物理学报. A辑, Acta Mathematica Scientia], V11, P164
[8]
Reactive Behavioral Strategy for Unmanned Ground Vehicle under Liner Temporal Logic Specifications
[J].
2018 IEEE INTERNATIONAL CONFERENCE ON BIG DATA AND SMART COMPUTING (BIGCOMP),
2018,
:133-140