arXiv AI By Alejandro J. Mercado, Alessio Lomuscio

Formal Verification of Agentic Systems over Operational Data

Read the original on arXiv AI →

arXiv:2608. 03609v1 Announce Type: new Abstract: Agentic systems driven by large language models (LLMs) are increasingly deployed in real-world workflows where they act on persistent operational data.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.

arXiv AI
1d ago

Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries

arXiv:2606. 20615v3 Announce Type: replace Abstract: AI agents now act as first-class members of the software development lifecycle, but the instruments teams use to direct them enforce nothing: process encoded in prompts is flexible but unenforceable, while workflow formalisms are enforceable but do not model autonomous agents.

By Ylli Prifti, Pasquale De Meo, Alessandro Provetti