James McMahon, Erion Plaku. Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic. In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014. pages 3726-3733, IEEE, 2014. [doi]
Abstract is missing.