Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic | IEEE Conference Publication | IEEE Xplore