TY - RPRT TI - Learning Symbolic Task Decompositions for Multi-Agent Teams AU - Ameesh Shah AU - Niklas Lauffer AU - Thomas Chen AU - Nikhil Pitta AU - Sanjit A. Seshia PY - 2025 UR - https://arxiv.org/abs/2502.13376 ID - 2502.13376 ER -