Reactive motion planning for temporal logic tasks without workspace discretization | IEEE Conference Publication | IEEE Xplore