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

Monday, Oct 10, 2016

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: