Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Gidon Ernst Sean Sedwards Zhenya Zhang Ichiro Hasuo

Published in: ACM Trans. Model. Comput. Simul. (2021)

Keyphrases

hybrid systems
search algorithm
neural network
search problems
discrete event
meta learning
soft computing
intelligent systems
search space
search strategy
search methods
black box
computational intelligence
active learning
bayesian networks
artificial intelligence
search strategies