Abstract: We consider the problem of optimally allocating tasks, expressed as global linear temporal logic (LTL) specifications, to teams of heterogeneous mobile robots of different types. Each task ...

New research shows large language models rival humans in learning logic-based rules, reshaping how we understand reasoning.