Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

David Gundana, Hadas Kress-Gazit

We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and reaction to environm…