Tulip: a software toolbox for receding horizon temporal logic planning (0)

by T Wongpiromsarn, U Topcu, N Ozay, H Xu, R M Murray
Venue:in Proceedings of the 14th international