Fast Temporal Logic Mission Planning of Multiple Robots: A Planning Decision Tree Approach. - Chen, Ziyang; Zhou, Zhangli; Wang, Shaochen; Li, Jinsong; Kan, Zhen (IEEE Robotics Autom. Lett., 2024)