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

Piscataway, NJ / IEEE (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 403-410

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern