Zetian Zhang, Raghvendra V. Cowlagi. Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles. In 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016. pages 7098-7103, IEEE, 2016. [doi]
Abstract is missing.