Sampling-based path planning under temporal logic constraints with real-time adaptation | IEEE Conference Publication | IEEE Xplore