• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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