A Robustness-Based Confidence Measure for Hybrid System Falsification

Saved in:

Bibliographic Details
Published in:	IEEE 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
Language:	Japanese
Published:	Institute of Electrical and Electronics Engineers (IEEE) 01.05.2023
ISSN:	0278-0070, 1937-4151
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

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