Formal Modeling of Reinforcement Learning with Many Agents through Repeated Local Interactions | IEEE Conference Publication | IEEE Xplore