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
Loading…
| 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.3800278 |
| 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 | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Li9swEBbp9tIeSp_0tcWH3oxTy5Zl6eiWLKGwPaWw9FIkWWa9hQS89mH7R_p3OyMpjtIt9EHAOA7YVmYYffP6hpC3quW6kAyUt9Q2Y0aaTHdVnmkOH9Cg3EjsHT7_xNef2ceL6mKx-BFVLU2jXprvv-0r-R-pwjWQK3bJ_oNk55vCBTgH-cIRJAzHv5Jxg4XR0_WI5ip7D_tR6zr4_JzQ9NyH_1wh4foGO7MCP3l6Bm-GJUIHqQR4iq6f5zv3_Q4ul7Af_JA1cGOsW8aaj30LiqOagMf2g5kwB-EqQSMWdBfAHqZ0g0hVfZs3gS-XdnujUhevPqSxwBKnzWBwasWss-ayH3bpGtayi0MURVQQ6N3WuOxh5ab7zEwIq3nYz_XMwOjCzbjgfTDEm8MCuYBzP2Zkab25BnCVAQShsT33bF3BINM6mHcbvvo95_bG4XhXR6OQPbYoliUCo6q-Q-4W4H8UvjEwSs8yLuQxj6KM05cAoimPcCeYzjqmyS9rdkybLwCGR36sKHkd4XBeMRb58YApOI94C-FpAofGz-kzzKa74GL4y0I6Hxb57tYSAVRt-z4CVZuH5EHwhpLGq_YjsrhSj8n9iCPzCVk1ya9KnhyUPAlKnoCSJ17JE69-yZGSPyWbs9XmwzoLsz-yK1mJTFCDHdPMSm1xCypaWHCpWsN5bQtp87al1mJVbMe1ZVQp1VFqyrLSqrVClM_IyXa3tc9JIrkSOQjLsE4AWlbC1hpONbXgenQdf0FOYf1fTY9HCtsXPBi7sauSY4xVvPzD76_IvYPOvyYn4zDZUwCqo37jlOYnp9qCHg |
| 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 |