Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu 0015. Safe Linear Temporal Logic Motion Planning in Dynamic Environments. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. pages 9818-9825, IEEE, 2021. [doi]
Abstract is missing.