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]
Abstract is missing.