Reactive Behavioral Strategy for Unmanned Ground Vehicle Under Liner Temporal Logic Specifications

Liangguo Liu, Jun Peng 0001, Xiaoyong Zhang, Rui Zhang, Bin Chen, Kai Gao, Yingze Yang. Reactive Behavioral Strategy for Unmanned Ground Vehicle Under Liner Temporal Logic Specifications. In 2018 IEEE International Conference on Big Data and Smart Computing, BigComp 2018, Shanghai, China, January 15-17, 2018. pages 133-140, IEEE Computer Society, 2018. [doi]

Authors

Liangguo Liu

This author has not been identified. Look up 'Liangguo Liu' in Google

Jun Peng 0001

This author has not been identified. Look up 'Jun Peng 0001' in Google

Xiaoyong Zhang

This author has not been identified. Look up 'Xiaoyong Zhang' in Google

Rui Zhang

This author has not been identified. Look up 'Rui Zhang' in Google

Bin Chen

This author has not been identified. Look up 'Bin Chen' in Google

Kai Gao

This author has not been identified. Look up 'Kai Gao' in Google

Yingze Yang

This author has not been identified. Look up 'Yingze Yang' in Google