Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications. - Yuanjiang Yang; Jiawei Zhao; Xiang Yin 003; Shaoyuan Li (CIS/RAM, 2019)

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications. - Yuanjiang Yang; Xiang Yin 003; Shaoyuan Li (ICCA, 2020)