Receding horizon temporal logic planning (2012)

by T Wongpiromsarn, U Topcu, R Murray
Venue:IEEE Transactions on Automatic Control