Automated Approach for Solving Infinite-state Polynomial Reachability Games

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Maximilian Seeliger, Đorđe Žikelić

IJCAI'26

Preprint
SuperDP: Differential Privacy Refutation via Supermartingales

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Đorđe Žikelić

PLDI'26

Artifact Preprint