SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of LLM-based Embodied Agents

Open in new window