TY  - RPRT
TI  - STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
AU  - Yiannis Kantaros
AU  - Michael M. Zavlanos
PY  - 2020
UR  - https://arxiv.org/abs/1809.08345
ID  - 1809.08345
ER  -