Conversion of LSAT behavioral specifications to automata.
Sander ThuijsmanMichel A. ReniersPublished in: CoRR (2020)
Keyphrases
- finite state machines
- cellular automata
- probabilistic automata
- finite automata
- delay insensitive
- formal specification
- turing machine
- lattice gas
- human decision making
- finite state
- human behavior
- website
- search engine
- data sets
- regular expressions
- data structure
- decision trees
- specification language
- operational semantics
- knowledge base
- machine learning
- finite automaton
- database