Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.

Gidon Ernst Sean Sedwards Zhenya Zhang Ichiro Hasuo

Published in: QEST (2019)

Keyphrases

hybrid systems
black box
meta learning
neural network
intelligent systems
artificial intelligence
computational intelligence
soft computing
discrete event
genetic programming
knowledge acquisition