察元AI教程库 · 文章 · 智能体

AI智能体的高效且可靠的概率验证

在复杂数字环境中运行的AI代理的安全性已成为迫切需求，而基于形式化语言（如Datalog）表达并强制执行策略的运行时监控方法提供了一个有前景的解决方案。然而，现有方法仅限于确定性策略

作者:Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu · 语言:en

简介