Maria Svorenova, Ivana Cerná, Calin Belta. Optimal receding horizon control for finite deterministic systems with temporal logic constraints. In American Control Conference, ACC 2013, Washington, DC, USA, June 17-19, 2013. pages 4399-4404, IEEE, 2013. [doi]
Abstract is missing.