Reactive sampling-based temporal logic path planning | IEEE Conference Publication | IEEE Xplore