Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- cellular automata
- propositional dynamic logic
- first order logic
- imperative programs
- regular expressions
- agent programming
- probabilistic automata
- finite state
- finite automata
- multiple input
- finite state automata
- classical first order logic
- neural network
- tree automata
- finite state machines
- temporal logic
- multi dimensional
- machine learning