Ufuk Topcu

Receding horizon temporal logic planning for dynamical systems

To appear in the proceedings of the Conference on Decision and Control, 2009 (with T. Wongpiromsarn and R. M. Murray).