related documents Multi-Agent Reinforcement Learning for; Alternating-Time Logic Conference Proceeding