TRIDENT: New Framework Enables Provably Safe Multi-Agent Reinforcement Learning in Cyber-Physical Systems