STL Model Checking of Continuous and Hybrid Systems.
Hendrik RoehmJens OehlerkingThomas HeinzMatthias AlthoffPublished in: ATVA (2016)
Keyphrases
- model checking
- hybrid systems
- temporal logic
- black box
- formal specification
- intelligent systems
- formal verification
- computational intelligence
- model checker
- discrete event
- meta learning
- neural network
- soft computing
- verification method
- symbolic model checking
- computation tree logic
- bounded model checking
- artificial intelligence
- epistemic logic
- formal methods
- inductive learning
- dynamic systems
- machine learning
- artificial neural networks