Temporal logic task and motion planning of a smart robot-towards a smart substation environment. - Liangguo Liu; Jun Peng 001; Rui Zhang 041; Bin Chen 017; Yingze Yang; Xiaoyong Zhang 001 (SMC, 2017)

Reactive Behavioral Strategy for Unmanned Ground Vehicle Under Liner Temporal Logic Specifications. - Liangguo Liu; Jun Peng 001; Xiaoyong Zhang 001; Rui Zhang 041; Bin Chen 017; Kai Gao 010; Yingze Yang (BigComp, 2018)