Formalizing the Safety, Security, and Functional Properties of Agentic AI Systems
arXiv:2510.14133v2 Announce Type: replace
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 …