Model Checking Hybrid Systems - (Invited Talk).
Edmund M. ClarkeSicun GaoPublished in: ISoLA (2) (2014)
Keyphrases
- model checking
- invited talk
- hybrid systems
- temporal logic
- intelligent systems
- black box
- neural network
- meta learning
- computational intelligence
- soft computing
- discrete event
- formal specification
- knowledge discovery and data mining
- artificial intelligence
- model checker
- selected papers
- formal verification
- verification method
- dynamic systems
- formal methods
- search algorithm
- researchers and practitioners
- multi agent