Automated Approach for Solving Infinite-state Polynomial Reachability Games

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi +2

Reachability games are two-player games played on a graph, where the objective of $\text{REACH}$ player is to reach the target set whereas the objective of $\text{SAFE}$ player…