A Robustness-Based Confidence Measure for Hybrid System Falsification

Saved in:
Bibliographic Details
Published inIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 42; pp. 1718 - 1731
Main Authors Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Format Journal Article
LanguageJapanese
Published Institute of Electrical and Electronics Engineers (IEEE) 01.05.2023
Online AccessGet full text
ISSN0278-0070
1937-4151
DOI10.1109/tcad.2022.3201157

Cover

More Information
ISSN:0278-0070
1937-4151
DOI:10.1109/tcad.2022.3201157