Determinization of Büchi-Automata.

Markus Roggenbach

Published in: Automata, Logics, and Infinite Games (2001)

Keyphrases

cellular automata
finite automata
lattice gas
probabilistic automata
regular expressions
finite state machines
information gain
finite state
multi agent systems
turing machine
data structure
expert systems
training data
database systems
computer vision
genetic algorithm
real time