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

Cover

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