Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights.

Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta

Browse the full LICS paper archive.