Turn-based Multi-Agent Reinforcement Learning Model Checking