@misc{indiciae2fb5bfe89d34,
  title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories},
  author = {Francesco Leofante and Erika Ábrahám and Tim Niemueller and Gerhard Lakemeyer and Armando Tacchella},
  year = {2017},
  url = {https://arxiv.org/abs/1711.04259},
  note = {Source identifier: 1711.04259}
}