Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verificati…