A Hierarchical Decoupling Approach for Fast Temporal Logic Motion Planning | IEEE Conference Publication | IEEE Xplore