Exponential Determinization for omega-Automata with a Strong Fairness Acceptance Condition.

Published in: SIAM J. Comput. (2006)

Keyphrases

sufficient conditions
neural network
artificial intelligence
resource allocation
finite state
finite automata
probabilistic automata
real time
real world
case study
image sequences
lower bound
pattern matching
finite state machines
tree automata
turing machine