arXiv ID:
2606.19632
arXiv 提交日期: 2026-06-17
基于决策树蒸馏的多智能体通信策略形式化验证 / Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation
1️⃣ 一句话总结
本文提出首个端到端框架,通过将多智能体强化学习中的神经网络通信策略蒸馏为可解释的决策树,再对其进行形式化验证,从而在保证安全性的前提下,将验证结果可靠地迁移回原始神经策略,最终实现了无人机集群等场景下低碰撞概率等安全属性的严格证明。