Raghvendra V. Cowlagi, Zetian Zhang. Motion-planning with linear temporal logic specifications for a nonholonomic vehicle kinematic model. In 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016. pages 6411-6416, IEEE, 2016. [doi]
Abstract is missing.