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

Lars Lindemann, Dimos V. Dimarogonas

The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly…