Automated Approach for Solving Infinite-state Polynomial Reachability Games (ArXiv cs.GT Recent Papers, 2026)