alphaXiv Formalizing the Safety, Security, and Functional Properties of Agentic AI Systems View recent discussion. Abstract: Agentic AI systems, which leverage multiple autonomous agents and large language models (LLMs), are increasingly used to address complex, multi-step tasks. The safety, security, and functionality of these systems are critical…