TY  - RPRT
TI  - Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
AU  - David Gundana
AU  - Hadas Kress-Gazit
PY  - 2021
DO  - 10.1109/lra.2021.3064220
UR  - https://arxiv.org/abs/2011.00370
ID  - 2011.00370
ER  -