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:

• Theory of Hybrid Systems Group, RWTH Aachen University, Germany: Erika Abraham, Leonard Korp, Gereon Kremer
• Dibris, University of Genoa, Italy: Francesco Leofante, Armando Tacchella
• Knowledge-based Systems Group, RWTH Aachen University, Germany: Gerhard Lakemeyer, Tim Niemueller, Stefan Schiffer