RT DF A1 Gundana, David.Mechanical Engineering. T1 Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks- [electronic resource]