On Complementing Nondeterministic Büchi Automata.
Sankar GurumurthyOrna KupfermanFabio SomenziMoshe Y. VardiPublished in: CHARME (2003)
Keyphrases
- finite automata
- finite state
- finite automaton
- probabilistic automata
- deterministic automata
- tree automata
- markov chain
- regular expressions
- information gain
- cellular automata
- finite state automata
- lattice gas
- neural network
- regular languages
- grammatical inference
- model checking
- hidden markov models
- database
- markov decision processes
- dynamic programming
- multi agent
- decision trees
- timed automata
- image processing
- genetic algorithm
- support vector machine