Thomas Colcombet Nathanaël Fijalkow The Bridge Between Regular Cost Functions and Omega-Regular Languages. 126:1-126:13 2016 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2016.126 conf/icalp/2016 db/conf/icalp/icalp2016.html#ColcombetF16