10 papers:
CAV-2013-ChatterjeeGK #automaton #ltl #model checking #probability #synthesis- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (KC, AG, JK), pp. 559–575.
LICS-2013-FacchiniMS #automaton #problem- Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (AF, FM, MS), pp. 499–508.
- LICS-2009-CaiZL #automaton #bound
- An Improved Lower Bound for the Complementation of Rabin Automata (YC, TZ, HL), pp. 167–176.
- LICS-2006-PitermanP #game studies #performance
- Faster Solutions of Rabin and Streett Games (NP, AP), pp. 275–284.
ICALP-2005-ChatterjeeAH #complexity #game studies #probability- The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.
- ICALP-2000-Urbanski #automaton #on the
- On Deciding if Deterministic Rabin Language Is in Büchi Class (TFU), pp. 663–674.
TACAS-1996-BuhrkeLV #infinity- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.
- ICALP-1996-Kaivola #automaton #fixpoint
- Fixpoints for Rabin Tree Automata Make Complementation Easy (RK), pp. 312–323.
- CAV-1995-KrishnanPBV #automaton #game studies
- The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.
- LICS-1991-KlarlundK #automaton #metric
- Rabin Measures and Their Applications to Fairness and Automata Theory (NK, DK), pp. 256–265.
