A Robustness-Based Confidence Measure for Hybrid System Falsification
Uloženo v:
| Vydáno v: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Ročník 42; s. 1718 - 1731 |
|---|---|
| Hlavní autoři: | , , , |
| 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!
|
| 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/eLvHCXMwtV1Lj9MwELbKwgEOiKd4LcqBW5QlthM_jgF11QsrDj2suCDXcbRZUIrSdrX7n_iRzNhJ6rIH4MAlatIqie3pzOd5fEPIuzrXTWF0nhltTAYWj2XGKp3VNm8a5rRkpvDNJuTZmTo_159ns59jLczVd9l16vpa__ivSw3XYLGxdPYflnu6KVyAz7DocIRlh-NfLXyF2dK7zRZ1WPYBjFTty_pC89D0U_AJ-uzCxQ2Waw2k5ekpvBnmDe2XasCsuB8MJOihCMIHGMZuEFkFN8ZkZkwEGetSPP8EPLbt7Q4DEz49NKJG917tfpcuEb6ab5Nl-HLhuhuTeif2PrYF6jmteoutLCZBthdtv04XMJZ17LdgUZZg2MvGuRBz3_JnokeYTx2ANhMto_dB44BHD0nQkQwJgvPQe-TEBR0OiCsDXEJjJR8ovAYtTeWg891wGgzRbWviyVi31iClLGMnHNFSKe-Qu0yWmoZqwShmWwilD8kVdRzTBGRNRQRGQZ_KmDufy-KQS18BNo82t4oLGYFzURZFtLkHoCFERGYIT1PYSX48B-gK4IxPCVAUQ-7eAzlM4RDzh0G_vzVkQF5d20bIa_mIPBy2TEkVRP0xmV2aJ-RBRKT5lMyr5HehT_ZCnwxCn4DQJ0HokyCOyYHQPyPL0_ny4yIbGoRkl7pUmaIWy6oLp1cO7RSrYQK4qa0Q0jHt8rqmzmHqbCNWrqDGmIZSy3m5MrVTij8nR926cy9IUkjYycB0wowhJyUYLe0ciEmpebMSlr4kxzD-r7bFI4UfwYOxZLvkAh2x6tUfvn9N7u__A2_I0bbfuWNyz15t203_1svRL77_jrc |
| 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 |