Keyphrases
- hybrid systems
- temporal logic
- model checking
- black box
- computational intelligence
- modal logic
- model checker
- formal verification
- computation tree logic
- linear temporal logic
- symbolic model checking
- formal specification
- finite state
- concurrent systems
- satisfiability problem
- transition systems
- bounded model checking
- verification method
- temporal properties
- epistemic logic
- formal methods
- artificial intelligence
- reactive systems
- knowledge acquisition
- temporally extended goals
- heuristic search