AgentGuard: Runtime Verification of AI Agents

Sep 1, 2025·
Roham Koohestani
Roham Koohestani
· 1 min read
PDF
Type
Publication
arXiv preprint arXiv:2509.23864

Runtime verification framework to ensure AI agents operate within defined constraints and enable auditing.

Agents Runtime Verification
Roham Koohestani
Authors
Roham Koohestani
Software Engineer · AI4SE Researcher