Combined Global and Local Search for the Falsification of Hybrid Systems.

Jan Kurátko Stefan Ratschan

Published in: CoRR (2014)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
meta learning
search algorithm
neural network
discrete event
computational intelligence
artificial intelligence
search space
machine learning
fuzzy logic
text categorization
orders of magnitude
optimal solution
learning algorithm
genetic algorithm