Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems (Logical Methods in Computer Science, 2026)