The Bridge Between Regular Cost Functions and Omega-Regular Languages.

Thomas Colcombet, Nathanal Fijalkow

Browse the full ICALP paper archive.