Collision Avoidance Verification of Multiagent Systems with Learned Policies