Jianxin Zeng, Yaonan Wang, Zhiqiang Miao, Sifei Wang: Motion Planning for Mobile Robots with Temporal Logic Specifications. ICARM 2023: 988-993