On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories

IEEE Computer Society (2017) [Contribution to a book, Contribution to a conference proceedings]

2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017

Authors

Selected Authors

Leofante, Francesco
Ábrahám, Erika
Niemüller, Tim Dieter
Lakemeyer, Gerhard
Tacchella, Armando

Identifier