Polynomial reachability witnesses via Stellenstze.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

Browse the full PLDI paper archive.