"Automata vs Linear-Programming Discounted-Sum Inclusion."

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics