Lazy Automata Techniques for WS1S.
Tomás FiedorLukás HolíkPetr JankuOndrej LengálTomás VojnarPublished in: CoRR (2017)
Keyphrases
- cellular automata
- service oriented
- finite automata
- tree automata
- finite state
- lazy learning
- finite state machines
- regular expressions
- business process
- probabilistic automata
- finite automaton
- lattice gas
- decision making
- real time
- turing machine
- finite state automaton
- multiply sectioned bayesian networks
- inductive learning
- multiscale
- database systems
- case study
- decision trees
- real world