BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (7)
streett (3)
game (3)
index (2)
chain (2)

Stem rabin$ (all stems)

10 papers:

CAVCAV-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.
LICSLICS-2013-FacchiniMS #automaton #problem
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (AF, FM, MS), pp. 499–508.
LICSLICS-2009-CaiZL #automaton #bound
An Improved Lower Bound for the Complementation of Rabin Automata (YC, TZ, HL), pp. 167–176.
LICSLICS-2006-PitermanP #game studies #performance
Faster Solutions of Rabin and Streett Games (NP, AP), pp. 275–284.
ICALPICALP-2005-ChatterjeeAH #complexity #game studies #probability
The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.
ICALPICALP-2000-Urbanski #automaton #on the
On Deciding if Deterministic Rabin Language Is in Büchi Class (TFU), pp. 663–674.
TACASTACAS-1996-BuhrkeLV #infinity
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.
ICALPICALP-1996-Kaivola #automaton #fixpoint
Fixpoints for Rabin Tree Automata Make Complementation Easy (RK), pp. 312–323.
CAVCAV-1995-KrishnanPBV #automaton #game studies
The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.
LICSLICS-1991-KlarlundK #automaton #metric
Rabin Measures and Their Applications to Fairness and Automata Theory (NK, DK), pp. 256–265.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.