2026 04 30

Created on April 30, 2026

2026

Our paper Automated Approach for Solving Infinite-state Polynomial Reachability Games was accepted for publication at IJCAI 2026.