One Monitor Does Not Fit All: Formalism-Agnostic Runtime Verification for Agentic AI

Angelo Ferrando

Agentic AI systems combine model decisions, mutable state, tool calls, and delegation to external agents. Monitoring them requires observations from different execution boundaries,…