Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications