Visibly Pushdown Automata: Universality and Inclusion via Antichains.
Véronique BruyèreMarc DucobuOlivier GauwinPublished in: LATA (2013)
Keyphrases
- cellular automata
- lattice gas
- finite state
- model checking
- finite automata
- probabilistic automata
- tree automata
- regular expressions
- machine learning
- face recognition
- finite state machines
- support vector machine
- finite state automata
- markov chain
- real time
- mobile robot
- video sequences
- data structure
- multi agent
- training data
- image processing
- decision making
- genetic algorithm
- data sets