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

Francesco Leofante, Erika brahm, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella

Browse the full IRI paper archive.