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

arXiv:2610.19818v1 Announce Type: new Abstract: Agentic AI systems combine model decisions, mutable state, tool calls, and delegation to external agents. Monitoring them requires observations from different execution boundaries, while prevention requires contr