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.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Sep 2

Towards Agentic Cloud Engineering: Graph and Loop Engineering with a Zero-Trust Agent Harness

The paper introduces Agentic Cloud Workflow Engineering, a framework that converts natural‑language agentic cloud‑engineering tasks into validated code repositories and verified cloud deployments. It separates graph engineering for long‑horizon workflow progression, loop engineering for bounded diagnosis and recovery, and agent harness engineering for zero‑trust execution. Experiments on Google Cloud show that executions either produce a verified deployment or an auditable terminal failure within bounded recovery limits.

By Sagar Srinivas Sakhinana, Venkataramana Runkana