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.
The Engineering of Conscious Experience
AI, Art & Consciousness
