Yoke Peng Leong, Pavithra Prabhakar. Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement. In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019. pages 7683-7689, IEEE, 2019. [doi]
Abstract is missing.