Login / Signup
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