Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.

Zhenya Zhang Paolo Arcaini Ichiro Hasuo

Published in: NFM (2020)

Keyphrases

databases
decision making
database systems
strengths and weaknesses
neural network
e learning
multiscale
fuzzy neural network