Automaton-guided controller synthesis for nonlinear systems with temporal logic.

Eric M. Wolff, Ufuk Topcu, Richard M. Murray

Browse the full IROS paper archive.