Complementing Semi-deterministic Büchi Automata.
Frantisek BlahoudekMatthias HeizmannSven ScheweJan StrejcekMing-Hsien TsaiPublished in: TACAS (2016)
Keyphrases
- finite state automaton
- turing machine
- deterministic finite automata
- cellular automata
- probabilistic automata
- finite automata
- finite state machines
- information gain
- computer vision
- relaxation algorithm
- lower bound
- database
- regular expressions
- finite state
- social networks
- genetic algorithm
- neural network
- natural language
- mutual information
- image segmentation
- randomized algorithms
- stochastic methods
- information retrieval
- data mining