标签
本综述综合了257篇关于智能体AI系统验证的论文，提出了一个涵盖行为、安全、时间、监管和多智能体问题的五维分类法。它指出了时间有效性、运行时证据维护、监管可读性和开放式多智能体保障方面的空白，认为可信赖的部署需要在上下文中验证轨迹。