Keyphrases
- timed automata
- finite state machines
- model checking
- expressive power
- petri net
- first order logic
- modal logic
- inference rules
- coalition logic
- epistemic logic
- finite automata
- theorem prover
- cellular automata
- theorem proving
- discrete event
- decision procedures
- cross modal
- nonmonotonic logics
- probabilistic automata
- classical logic
- data sets
- default logic
- conditional logic
- tree automata
- hidden markov models
- lattice gas
- database