Keyphrases
- model checking
- markov chain
- finite state
- hybrid systems
- temporal properties
- temporal logic
- formal verification
- transition probabilities
- black box
- state space
- neural network
- finite state machines
- epistemic logic
- formal methods
- artificial intelligence
- meta learning
- intelligent systems
- discrete event
- verification method
- description logics
- computational intelligence
- search problems
- control system
- knowledge base