TY  - RPRT
TI  - A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications
AU  - Jana Tumova
AU  - Dimos V. Dimarogonas
PY  - 2014
UR  - https://arxiv.org/abs/1403.4174
ID  - 1403.4174
ER  -