arXiv · cs.AI· Angelo Ferrando·· 13 天前AI 评分39
AgenticRV：面向 Agentic AI 的形式化无关运行时验证架构
One Monitor Does Not Fit All: Formalism-Agnostic Runtime Verification for Agentic AI
来源与原文
arXiv · cs.AI
作者：Angelo Ferrando
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.19818v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究者提出运行时验证架构 AgenticRV，将 Agentic AI 系统的执行边界与监控形式化解耦：适配器输出规范事件，各监控器获得独立投影与抽象，决策策略基于归一化判定选择响应。其 Python 实现支持 LangGraph、MCP 和 A2A，受控 LangGraph 实验结合 Reelay 时序监控器与程序化报告监控器，消融实验证明两者缺一不可。
来源：arXiv · cs.AI · arxiv.org