Stem determinis$ (all stems)

4 papers:

ICALP-v2-2015-KuperbergS #automaton #nondeterminism #on the

On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.

FoSSaCS-2009-Schewe #automaton #bound #nondeterminism

Tighter Bounds for the Determinisation of Büchi Automata (SS), pp. 167–181.

CIAA-2008-GlabbeekP #algorithm #nondeterminism

Five Determinisation Algorithms (RJvG, BP), pp. 161–170.

LOPSTR-1991-Noel #nondeterminism

A Method for the Determinisation of Propositional Temporal Formulae (PN), pp. 276–296.