Discounted-Sum Automata with Real-Valued Discount Factors.

Udi Boker

Browse the full LICS paper archive.