Abstraction Based Model-Checking of Stability of Hybrid Systems.
Pavithra PrabhakarMiriam Garcia SotoPublished in: CAV (2013)
Keyphrases
- model checking
- hybrid systems
- bounded model checking
- temporal logic
- black box
- meta learning
- intelligent systems
- formal verification
- symbolic model checking
- computational intelligence
- soft computing
- model checker
- neural network
- artificial intelligence
- discrete event
- formal specification
- computation tree logic
- verification method
- formal methods
- epistemic logic
- search strategy
- np hard
- evolutionary algorithm
- machine learning