Verification of Correlated Equilibria in Concurrent Reachability Games (ArXiv cs.GT Recent Papers, 2026)