Rabin measures and their applications to fairness and automata theory | IEEE Conference Publication | IEEE Xplore