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

Francesco LeofanteErika ÁbrahámTim NiemuellerGerhard LakemeyerArmando Tacchella
Published in: CoRR (2017)