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

arXiv: https://arxiv.org/abs/1711.04259 · HTML: https://mlsanity.com/paper/1711.04259/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Nov 2017.

## Built on by (most cited first, 1 of 1)

- [Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery](https://mlsanity.com/paper/2403.01277/) (2024)

## Abstract (arXiv)

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 Optimization Modulo Theories (OMT) to solve certain multi-robot scheduling problems in this area. Whereas currently existing methods are heuristic, our approach guarantees optimality for the computed solution. We do not only present our final method but also its chronological development, and draw some general observations for the development of OMT-based approaches.