A Robustness-Based Confidence Measure for Hybrid System Falsification

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Ročník 42; s. 1718 - 1731
Hlavní autoři:	Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Médium:	Journal Article
Jazyk:	japonština
Vydáno:	Institute of Electrical and Electronics Engineers (IEEE) 01.05.2023
ISSN:	0278-0070, 1937-4151
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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