COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance | ScienceToStartup | ScienceToStartup