Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study. - Vedanta Mohapatra; Ayush Anand 001; Srinivas Pinisetty (ICTAC, 2025)