Self-verifying pushdown automata.
Henning FernauMartin KutribMatthias WendlandtPublished in: NCMA (2017)
Keyphrases
- model checking
- finite state
- timed automata
- finite state machines
- temporal logic
- finite automata
- cellular automata
- regular expressions
- automata theoretic
- tree automata
- probabilistic automata
- lattice gas
- artificial neural networks
- expert systems
- digital libraries
- finite state automata
- verification method
- data mining
- dynamic programming
- hidden markov models
- natural language
- face recognition
- artificial intelligence
- genetic algorithm
- real time