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 ...