实体
VQ-VIB
VQ-VIB
PulseAugur coverage of VQ-VIB — every cluster mentioning VQ-VIB across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新框架验证多智能体通信策略的安全性
研究人员开发了一个新颖的框架，用于形式化验证多智能体强化学习（MARL）系统所学习到的通信策略的安全性。该方法将复杂的神经网络策略提炼成可解释的决策树，然后对其进行形式化验证。该框架已成功应用于多无人机协同场景，高保真地验证了安全性和活性属性。
-
新框架验证了学习到的多智能体通信策略的安全性
研究人员开发了一个新颖的框架，用于形式化验证多智能体强化学习（MARL）系统中学习到的通信策略的安全性。该方法将复杂的神经网络策略提炼成可解释的决策树，然后使用PRISM等概率模型检查器对其进行严格验证。该框架已成功证明了多无人机协调的安全属性，并且验证的属性可以转移到原始神经网络上。