Determinizing Discounted-Sum Automata.

Udi Boker, Thomas A. Henzinger

Browse the full CSL paper archive.