TY  - RPRT
TI  - Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications
AU  - Jana Tumova
AU  - Dimos V. Dimarogonas
PY  - 2016
UR  - https://arxiv.org/abs/1610.08379
ID  - 1610.08379
ER  -