39 citations · 92 across the 17 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2018★ 2 cited
SMarTplan: a Task Planner for Smart Factories
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina +2
Smart factories are on the verge of becoming the new industrial paradigm, wherein optimization permeates all aspects of production, from concept generation to sales. To fully pursu…
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…