Turn-based Multi-Agent Reinforcement Learning Model Checking

Dennis Gross

In this paper, we propose a novel approach for verifying the compliance of turn-based multi-agent reinforcement learning (TMARL) agents with complex requirements in stochastic mult…