实体 BARD-MARL

BARD-MARL

PulseAugur coverage of BARD-MARL — every cluster mentioning BARD-MARL across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_99548 · Jun 15 · 13:52

新框架验证了学习到的多智能体通信策略的安全性

研究人员开发了一个新颖的框架，用于形式化验证多智能体强化学习（MARL）系统中学习到的通信策略的安全性。该方法将复杂的神经网络策略提炼成可解释的决策树，然后使用PRISM等概率模型检查器对其进行严格验证。该框架已成功证明了多无人机协调的安全属性，并且验证的属性可以转移到原始神经网络上。