Model Checking of Hybrid Systems: From Reachability Towards Stability.
Andreas PodelskiSilke WagnerPublished in: HSCC (2006)
Keyphrases
- model checking
- hybrid systems
- temporal logic
- intelligent systems
- meta learning
- black box
- computational intelligence
- neural network
- formal verification
- model checker
- discrete event
- soft computing
- artificial intelligence
- symbolic model checking
- formal specification
- epistemic logic
- formal methods
- verification method
- computation tree logic
- state space
- bounded model checking
- software engineering
- learning tasks
- rough sets
- fuzzy logic