Combined Global and Local Search for the Falsification of Hybrid Systems.
Jan KurátkoStefan RatschanPublished in: FORMATS (2014)
Keyphrases
- hybrid systems
- black box
- intelligent systems
- soft computing
- neural network
- meta learning
- computational intelligence
- discrete event
- search algorithm
- artificial intelligence
- search space
- orders of magnitude
- genetic algorithm
- optimal solution
- evolutionary computation
- search problems
- genetic programming
- multi class
- evolutionary algorithm
- machine learning