Recasting Constraint Automata into Büchi Automata.
Mohammad IzadiMarcello M. BonsanguePublished in: ICTAC (2008)
Keyphrases
- probabilistic automata
- finite automata
- cellular automata
- finite state
- finite state machines
- regular expressions
- tree automata
- finite automaton
- database
- finite state automata
- reinforcement learning
- real world
- markov chain
- artificial neural networks
- objective function
- linear constraints
- image segmentation
- machine learning
- data sets
- real time