Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Edmund M. ClarkeAnsgar FehnkerZhi HanBruce H. KroghJoël OuaknineOlaf StursbergMichael TheobaldPublished in: Int. J. Found. Comput. Sci. (2003)
Keyphrases
- model checking
- hybrid systems
- bounded model checking
- temporal logic
- formal verification
- black box
- neural network
- intelligent systems
- meta learning
- model checker
- soft computing
- discrete event
- computational intelligence
- computation tree logic
- formal specification
- automated verification
- symbolic model checking
- epistemic logic
- formal methods
- artificial intelligence
- verification method
- dynamic systems
- learning tasks
- model selection
- planning domains
- inductive learning
- fuzzy logic
- knowledge base
- decision making
- data mining