Inherent Vacuity in Lattice Automata.
Hila GonenOrna KupfermanPublished in: Fields of Logic and Computation II (2015)
Keyphrases
- model checking
- lattice structure
- finite state
- finite state machines
- cellular automata
- probabilistic automata
- timed automata
- markov chain
- temporal logic
- image processing
- finite automata
- search algorithm
- multiscale
- artificial intelligence
- learning algorithm
- finite state automata
- algebraic structure
- neural network
- real time