本文提出了一种新方法，用于验证回合制多智能体强化学习（TMARL）代理在随机多玩家游戏中的合规性，克服了现有验证方法的局限性，实验结果表明其有效性和良好的可扩展性。

Model Checking for Turn-Based Multi-Agent Reinforcement Learning
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证