collaborators

1 paper

cs.AI2017

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

Francesco Leofante, Erika Ábrahám, Tim Niemueller +2

In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management. In this paper we report on the usage of…