A Robustness-Based Confidence Measure for Hybrid System Falsification - Toru Takisaka; Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023)