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

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 environmental events. Specifically, we define Event-based Signal Temporal Logic (STL) and use it to encode tasks that are reacti...

Full description