Motion-planning with linear temporal logic specifications for a nonholonomic vehicle kinematic model | IEEE Conference Publication | IEEE Xplore