Coordinating complex behaviors between hundreds of robots
Wednesday, July 1, 2020 - 13:00
in Mathematics & Economics
Researchers propose a new approach to finding an optimal solution for controlling large numbers of robots collaboratively completing a set of complex linear temporal logic commands called STyLuS*, for large-Scale optimal Temporal Logic Synthesis, that can solve problems massively larger than what current algorithms can handle, with hundreds of robots, tens of thousands of rooms and highly complex tasks, in a small fraction of the time.