related documents FO-Definable Transformations of Infinite Strings Conference Proceeding Mean-Payoff Games on Timed Automata Conference Proceeding