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

Piscataway, NJ / IEEE (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, 4-6 August 2017 : proceedings / edited by Chengcui Zhang, Balaji Palanisamy, Latifur Khan, Sahra Sedigh Sarvestani ; financial sponsor: IEEE Computer Society ; corporate sponsor: School of Information Sciences, University of Pittsburgh

Authors

Selected Authors

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

Identifier