论文提出随机环境下多智能体社会律鲁棒性验证方法

针对随机奖励环境中的多智能体协调问题，研究将社会律概念从确定性场景扩展至随机场景。论文提出了形式化定义及验证框架，引入α-鲁棒性指标，衡量智能体遵守社会律时保留的效用。该方法将验证问题转化为求解一系列马尔可夫决策过程，并在玩具环境中进行了实证评估。