Keyphrases
- timed automata
- automata theoretic
- finite state machines
- model checking
- description logics
- petri net
- temporal logic
- query answering
- theorem proving
- decision procedures
- first order logic
- cellular automata
- communication channels
- regular expressions
- theorem prover
- probabilistic automata
- regular path queries
- type checking
- finite state
- tree automata
- finite automata
- neural network
- formal language theory
- machine learning