Simulation Algorithms for Symbolic Automata (Technical Report).
Lukás HolíkOndrej LengálJuraj SícMargus VeanesTomás VojnarPublished in: CoRR (2018)
Keyphrases
- technical report
- data structure
- computational efficiency
- theoretical analysis
- learning algorithm
- social networks
- objective function
- computational cost
- cellular automata
- computationally efficient
- symbolic representation
- times faster
- computationally expensive
- orders of magnitude
- real time
- markov chain
- search algorithm
- neural network