TY - RPRT TI - Defining and Monitoring Complex Robot Activities via LLMs and Symbolic Reasoning AU - Francesco Argenziano AU - Elena Umili AU - Francesco Leotta AU - Daniele Nardi PY - 2025 UR - https://arxiv.org/abs/2509.16006 ID - 2509.16006 ER -