Simulation Algorithms for Symbolic Automata.
Lukás HolíkOndrej LengálJuraj SícMargus VeanesTomás VojnarPublished in: ATVA (2018)
Keyphrases
- orders of magnitude
- learning algorithm
- computational complexity
- significant improvement
- cellular automata
- computationally efficient
- graph theory
- recently developed
- theoretical analysis
- machine learning
- optimization problems
- state space
- mobile robot
- image segmentation
- regular expressions
- mathematical models
- finite automata