Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.
Ernst AlthausBjörn BeberWerner DammStefan DischWillem HagemannAstrid RakowChristoph SchollUwe WaldmannBoris WirtzPublished in: Sci. Comput. Program. (2017)
Keyphrases
- hybrid systems
- model checking
- state space
- formal verification
- black box
- intelligent systems
- meta learning
- computational intelligence
- neural network
- soft computing
- artificial intelligence
- discrete event
- learning experience
- heuristic search
- orders of magnitude
- machine learning algorithms
- model selection
- fuzzy logic
- search algorithm
- decision making