Determinization of Integral Discounted-Sum Automata is Decidable.

Shaull Almagor, Neta Dafni

Browse the full FOSSACS paper archive.