Automaton-guided controller synthesis for nonlinear systems with temporal logic | IEEE Conference Publication | IEEE Xplore