TY  - RPRT
TI  - Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization
AU  - Jana Tumova
AU  - Dimos V. Dimarogonas
PY  - 2016
UR  - https://arxiv.org/abs/1610.08380
ID  - 1610.08380
ER  -