Keyphrases
- timed automata
- finite state machines
- model checking
- expressive power
- modal logic
- petri net
- inference rules
- epistemic logic
- theorem prover
- probabilistic automata
- finite automata
- cellular automata
- propositional calculus
- discrete event
- theorem proving
- colored petri nets
- classical logic
- coalition logic
- finite state
- nonmonotonic logics
- lattice gas
- database
- conditional logic
- inheritance reasoning
- computational properties
- cross modal
- default logic
- regular expressions
- markov chain
- search engine
- learning algorithm
- machine learning
- neural network