Keyphrases
- model checking
- markov chain
- finite state
- hybrid systems
- temporal properties
- temporal logic
- formal verification
- transition probabilities
- black box
- artificial intelligence
- intelligent systems
- neural network
- verification method
- computational intelligence
- state space
- soft computing
- finite state machines
- meta learning
- discrete event
- formal methods
- epistemic logic
- description logics
- markov decision processes
- orders of magnitude
- reinforcement learning
- knowledge base