Optimizing the Performance of Robot Fleets in Production Logistics Scenarios Using SMT Solving

Submitted by stf on 10. October 2016 - 19:05

In a project funded by the ICT project house Foundations of a Digitized Industry, Economy, and Society of RWTH Aachen University we are investigating how to optimize the performance of robot fleets in production logistics scenarios.
For more information visit the POPL-SMT project page at our partners from the Theory of Hybrid Systems Group

This is a joint project between different research groups: