A Robustness-Based Confidence Measure for Hybrid System Falsification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Jg. 42; S. 1718 - 1731
Hauptverfasser:	Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Format:	Journal Article
Sprache:	Japanisch
Veröffentlicht:	Institute of Electrical and Electronics Engineers (IEEE) 01.05.2023
ISSN:	0278-0070, 1937-4151
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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