TY  - RPRT
TI  - On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
AU  - Francesco Leofante
AU  - Erika Ábrahám
AU  - Tim Niemueller
AU  - Gerhard Lakemeyer
AU  - Armando Tacchella
PY  - 2017
UR  - https://arxiv.org/abs/1711.04259
ID  - 1711.04259
ER  -