TY  - RPRT
TI  - Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
AU  - Zhenya Zhang
AU  - Paolo Arcaini
AU  - Ichiro Hasuo
PY  - 2020
UR  - https://arxiv.org/abs/2001.05107
ID  - 2001.05107
ER  -