Formal Verification of Agentic Systems over Operational Data

Alejandro J. Mercado, Alessio Lomuscio

Agentic systems driven by large language models (LLMs) are increasingly deployed in real-world workflows where they act on persistent operational data. Before deployment, these sys…