History Determinism vs. Good for Gameness in Quantitative Automata.
Udi BokerKaroliina LehtinenPublished in: FSTTCS (2021)
Keyphrases
- cellular automata
- finite automata
- qualitative and quantitative
- neural network
- tree automata
- probabilistic automata
- artificial intelligence
- regular expressions
- finite state machines
- model checking
- timed automata
- quantitative measures
- finite state
- database
- multiresolution
- natural language
- search algorithm
- databases
- data sets