Login / Signup

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: IRI (2017)
Keyphrases
  • mobile robot
  • optimization problems
  • planning problems
  • modulo theories
  • answer set programming
  • high level
  • programming language