Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Murray. Receding horizon temporal logic planning for dynamical systems. In Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China. pages 5997-6004, IEEE, 2009. [doi]
Abstract is missing.