PulseAugur
实时 10:43:41
实体 Shielding for Higher-Order Safety

Shielding for Higher-Order Safety

PulseAugur coverage of Shielding for Higher-Order Safety — every cluster mentioning Shielding for Higher-Order Safety across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_183078 ·

    新AI安全防护可处理复杂的高阶约束

    研究人员开发了一种新的方法来为AI系统创建安全防护,该方法可以处理超越简单状态谓词的高阶安全约束。该方法使用有限状态安全博弈来定义基于状态导数的微分安全属性,从而实现对系统行为更细致的控制。提出的算法合成了具有必要内存的最大允许防护,并采用迭代过程来有效地处理导数约束的层次结构,通过修剪状态空间来提高合成效率。