Announcement_10
I am excited to announce that my paper titled “Automated Approach for Solving Infinite-state Polynomial Reachability Games” has been accepted at IJCAI’26.
I am excited to announce that my paper titled “Automated Approach for Solving Infinite-state Polynomial Reachability Games” has been accepted at IJCAI’26.