DailyInfo Summary

提出面向智能体系统的形式化策略执行机制，用可验证约束保证自主代理行为符合安全与合规要求。

Original Source

摘要用于研究导航；结论、版本与引用信息请以原始来源为准。

阅读原文 （外部链接）

Added to DailyInfo

技术信息

Stable ID: arxiv-2602.16708
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2602.16708/