A Constrained Multi-Agent Reinforcement Learning Approach to Autonomous Traffic Signal Control | Synapse