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

Zhenya Zhang Paolo Arcaini Ichiro Hasuo

Published in: CoRR (2020)

Keyphrases

strengths and weaknesses
high level
real world
expert systems
real time
computer vision
knowledge base
decision trees
training data
multiscale
wide range