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
|
| Online Access | Get full text |
| ISSN | 0278-0070 1937-4151 |
| DOI | 10.1109/tcad.2022.3201157 |
Cover
| 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 AARMG 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 | Thu Jun 26 23:14:21 EDT 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 ssib000246897 ssib053388795 ssib002487743 |
| Score | 2.3990643 |
| 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://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Li9swEBbp9tIeSp_0tcWH3oxTy3pYProlSyhsTyksvRRZlllvIQGvfdj-kf7dzkiKo3QLfVxE4oBtZYaZT_P4hpC3su2QEkZkWukmw5HGaAe7jLbokXIrGoWNwuef5Poz_3ghLhaLH1HV0jQ2S_P9t30l_yNVuAZyxS7Zf5DsfFO4AJ9BvrCChGH9KxnXWBg9XY9orrL34I9a18Hn54Sm5z785woJ1zfYmRX4ydMzeDMsETpIJcBTPPp5vnPf7-ByCfvBD1kNN8a6Zaz52LegOKoJeGw_mAlzEK4SNGJBdwHsYUo3iFT1t9kJfLm02xudunj1IY0FljitB4NTK2adNZf9sEvXsJddHKIoooJAf2yNyx5WbrrPzISwmof9XM8MjC7cjBveB0O8OSyQCzj3Y0aW1ptrAFcZQBAa23PP1hUMMi2Debfhq_c5tx2H410djUb22KJYMgRGorxD7hbgLnLfGBilZ7lU1TGPYhWnLwFEUxnhTjCdZUyTz0p-TJuvAIZH51jFZBnhcCk4j87xgCmkjHgL4WkKh8bP6TPMprvgYvjLQjofNvnu1hYBVG37PgJVm4fkQTgNJbVX7UdkcaUfk_sRR-YTsqqTX5U8OSh5EpQ8ASVPvJInXv2SIyV_SjZnq82HdRZmf2RXlQB7QQ12THNbNRZdUNHChplujZSlLSqbty21FqtiO9lYTrXWHaWGMdHo1irFnpGT7W5rn5NEMd5xaZTIG8lpWzStqjqhVaMrJiyvXpBT2P9X0-NKwX3Bg7EbWzCJMVb18g-_vyL3Djr_mpyMw2RPAaiOzRunND8BvpCBTg |
| 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 |