Publications for keyword "receding horizon temporal logic planning"
T. Wongpiromsarn, U. Topcu and R. M. Murray, Receding horizon temporal logic planning for dynamical systems, in: Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pages 5997 -6004, 2009