Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input.

Gidon Ernst Sean Sedwards Zhenya Zhang Ichiro Hasuo

Published in: CoRR (2018)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
soft computing
discrete event
artificial intelligence
computational intelligence
neural network
machine learning
decision making
benchmark datasets
inductive learning