安全paper·· 9 天前推荐指数60
基于 Petri 网监督控制的 LLM Agent 工具执行认证框架论文
Certified Execution Harness for Agentic AI: Safe and Least-Intrusive Petri-Net Supervisory Control Between Reasoning and Action
AI 导读
arXiv:2610.31376 论文（作者 Chao Gu、Quanyan Zhu）将 LLM Agent 与工具之间的执行护栏形式化为 Petri 网监督控制问题，用 token 表示能力、审批与预算，使前置条件缺失或已消耗的注入请求被机械拒绝。
来源：安全paper · aisecurity.ninja