New Techniques for Universality in Unambiguous Register Automata.
Wojciech CzerwinskiAntoine MottetKarin QuaasPublished in: CoRR (2021)
Keyphrases
- cellular automata
- lattice gas
- regular expressions
- probabilistic automata
- finite automata
- timed automata
- tree automata
- three dimensional
- finite state
- support vector
- real time
- expert systems
- finite state machines
- markov decision processes
- computational complexity
- bayesian networks
- image sequences
- genetic algorithm
- neural network
- databases
- data sets