A Robustness-Based Confidence Measure for Hybrid System Falsification
Saved in:
| Published in: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 42; pp. 1718 - 1731 |
|---|---|
| Main Authors: | , , , |
| 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!
|
| Author | Paolo Arcaini Zhenya Zhang Ichiro Hasuo Toru Takisaka |
|---|---|
| Author_xml | – sequence: 1 orcidid: 0000-0002-5046-7480 fullname: Toru Takisaka – sequence: 2 orcidid: 0000-0002-3854-9846 fullname: Zhenya Zhang – sequence: 3 orcidid: 0000-0002-6253-4062 fullname: Paolo Arcaini – sequence: 4 fullname: Ichiro Hasuo |
| BackLink | https://cir.nii.ac.jp/crid/1870865118153667968$$DView record in CiNii |
| BookMark | eNotzktLxDAUBeAgI1jH-QHusnDbem_SvJbjMA9hRNDZS5rcQkRTaDqL-fdWdHMOZ_NxbtkiD5kYu0doEME9TsHHRoAQjRSAqMwVq9BJU7eocMEqEMbWAAZu2KqU1AEIkGi0qdh2zd-G7lymTKXUT75Q5Jsh9ylSDsRfyJfzSLwfRn64dGOK_P1SJvrmO_9VUp-Cn9KQ79h1P29a_feSnXbb0-ZQH1_3z5v1sf50ytYWg9VKteQ6kvNPEbVupY9Ba0PCEcSIROBa2euOWvTe94hBStX5SNbKJXv4Y3NKHyH9JloDM4poUcnZcdrKH8qaTi0 |
| ContentType | Journal Article |
| DBID | RYH |
| DOI | 10.1109/tcad.2022.3201157 |
| DatabaseName | CiNii Complete |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1937-4151 |
| EndPage | 1731 |
| GroupedDBID | --Z -~X 0R~ 29I 4.4 5GY 6IK 97E AAJGR AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFS ACIWK ACNCT AENEX AGQYO AHBIQ AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS HZ~ IFIPE IPLJI JAVBF LAI M43 O9- OCL P2P PZZ RIA RIE RNS RYH TN5 |
| ID | FETCH-LOGICAL-j958-81c86554e9be30112d6643adc667e29e0dd1ee0943f6be41aaaf11c335bade883 |
| ISSN | 0278-0070 |
| IngestDate | Mon Nov 10 09:06:12 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | Japanese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-j958-81c86554e9be30112d6643adc667e29e0dd1ee0943f6be41aaaf11c335bade883 |
| ORCID | 0000-0002-3854-9846 0000-0002-5046-7480 0000-0002-6253-4062 |
| OpenAccessLink | https://cir.nii.ac.jp/crid/1870865118153667968 |
| PageCount | 14 |
| ParticipantIDs | nii_cinii_1870865118153667968 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-05-01 |
| PublicationDateYYYYMMDD | 2023-05-01 |
| PublicationDate_xml | – month: 05 year: 2023 text: 2023-05-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationTitle | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| PublicationYear | 2023 |
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Publisher_xml | – name: Institute of Electrical and Electronics Engineers (IEEE) |
| SSID | ssib002031767 ssib000342947 ssib000533169 ssib002374067 ssib012866443 ssj0014529 ssib004836733 ssib006544499 ssib061581831 ssib000246897 ssib053388795 ssib002487743 |
| Score | 2.398896 |
| SourceID | nii |
| SourceType | Publisher |
| StartPage | 1718 |
| Title | A Robustness-Based Confidence Measure for Hybrid System Falsification |
| URI | https://cir.nii.ac.jp/crid/1870865118153667968 |
| Volume | 42 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1937-4151 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0014529 issn: 0278-0070 databaseCode: RIE dateStart: 19820101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELbKwgEOiKdgYVEO3KIssR2_jgF11QOsOFRoxQW5iavNglKUtqvd_8SP3Bk7SV32ABy4WE0qxXVmOv48j28IeatrAB1OLLPaCpYV2orMWGEzzmudMwuA1lfxf_moTk_12Zn5PJn8GmphLn-ottVXV-bnfxU13ANhY-nsP4h7fCjcgM8gdBhB7DD-leBLzJberjdow7L3sEnVvqwvNA9NPwWfoM8unF1juVZPWp6ewC_DvKGdqHrMiufBQIIeiiB8gGHoBpGV8GBMZsZEkKEuxfNPwLRNV20xMOHTQyNqdO_V7rbpHOGr_T7uDF_PXXttU-_E3sW2wDynZVdhK4tRkavzplulM1jLKvZbsChLMJxl41yIqW_5M9IjTMcOQOuRltH7oHHBg4ck2EiGBMF56D1y7IINB8SVAS6hsZEPFF69laaqt_muvwwb0e3dxJOxbiqLlLKMHXNES0LdIXeZEkaHasEoZltIbfbJFU0c0wRkTWUERsGeqpg7n6tin0tfAzaPDreaSxWBcymKIjrcA9CQMiIzhNk0dpIfrgG6AjjjYwIUxZC790D2r7CP-cOi391aMiCvtmki5DV_RB72R6akDKr-mEwu7BPyICLSfEqmZfK70ic7pU96pU9A6ZOg9ElQx2RP6Z-R-cl0_mGW9Q1CsgsjdKZphWXVhTMLh_sUq-EFcFtXUirHjMvrmjqHqbNLuXAFtdYuKa04FwtbO635c3LQrlr3giS5U9zIQlKb28Kw2jCt3JLZpWA2d9q-JEew_m9VgyOFPQ4mxpJtwSU6YvXhH75_Re7v_gOvycGm27ojcq-63DTr7o3XoxualI8M |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Robustness-Based+Confidence+Measure+for+Hybrid+System+Falsification&rft.jtitle=IEEE+Transactions+on+Computer-Aided+Design+of+Integrated+Circuits+and+Systems&rft.au=Toru+Takisaka&rft.au=Zhenya+Zhang&rft.au=Paolo+Arcaini&rft.au=Ichiro+Hasuo&rft.date=2023-05-01&rft.pub=Institute+of+Electrical+and+Electronics+Engineers+%28IEEE%29&rft.issn=0278-0070&rft.eissn=1937-4151&rft.volume=42&rft.spage=1718&rft.epage=1731&rft_id=info:doi/10.1109%2Ftcad.2022.3201157 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0278-0070&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0278-0070&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0278-0070&client=summon |