TY  - RPRT
TI  - Automated Approach for Solving Infinite-state Polynomial Reachability Games
AU  - Krishnendu Chatterjee
AU  - Ehsan Kafshdar Goharshady
AU  - Mehrdad Karrabi
AU  - Maximilian Seeliger
AU  - Đorđe Žikelić
PY  - 2026
UR  - https://arxiv.org/abs/2605.10169
ID  - 2605.10169
ER  -