Liangguo Liu, Jun Peng 0001, Rui Zhang, Bin Chen, Yingze Yang, Xiaoyong Zhang. Temporal logic task and motion planning of a smart robot-towards a smart substation environment. In 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017. pages 1110-1115, IEEE, 2017. [doi]
Abstract is missing.