A Robustness-Based Confidence Measure for Hybrid System Falsification

Uložené v:
Podrobná bibliografia
Vydané v:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Ročník 42; s. 1718 - 1731
Hlavní autori: Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Médium: Journal Article
Jazyk:Japanese
Vydavateľské údaje: Institute of Electrical and Electronics Engineers (IEEE) 01.05.2023
ISSN:0278-0070, 1937-4151
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:0278-0070
1937-4151
DOI:10.1109/tcad.2022.3201157