An optimal task decision method for a warehouse robot with multiple tasks based on linear temporal logic.

Shuai Hao, Zhiwu Huang, Lulu Wang, Rui Zhang, Xiaoyong Zhang, Jun Peng, Wentao Yu

Browse the full SMC paper archive.