Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on ...

This letter concerns the optimal control of a continuous-time dynamical system via continuous and discrete-valued control variables, where the objective functional also accounts for state-independent ...