Text this: Comparator automata in quantitative verification