Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray. Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 434-440, IEEE, 2016. [doi]
Abstract is missing.