{"id":"https://openalex.org/W4387735129","doi":"https://doi.org/10.29007/6nqs","title":"ARCH-COMP23 Category Report: Falsification","display_name":"ARCH-COMP23 Category Report: Falsification","publication_year":2023,"publication_date":"2023-10-18","ids":{"openalex":"https://openalex.org/W4387735129","doi":"https://doi.org/10.29007/6nqs"},"language":"en","primary_location":{"id":"doi:10.29007/6nqs","is_oa":true,"landing_page_url":"https://doi.org/10.29007/6nqs","pdf_url":"https://easychair.org/publications/open/wFh9","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/wFh9","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018466538","display_name":"Claudio Menghi","orcid":"https://orcid.org/0000-0001-5303-8481"},"institutions":[{"id":"https://openalex.org/I11039511","display_name":"University of Bergamo","ror":"https://ror.org/02mbd5571","country_code":"IT","type":"education","lineage":["https://openalex.org/I11039511"]},{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA","IT"],"is_corresponding":true,"raw_author_name":"Claudio Menghi","raw_affiliation_strings":["University of Bergamo, Bergamo, Italy","McMaster University, Hamilton, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bergamo, Bergamo, Italy","institution_ids":["https://openalex.org/I11039511"]},{"raw_affiliation_string":"McMaster University, Hamilton, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["National Institute of Informatics (NII), Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics (NII), Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092337017","display_name":"Walstan Baptista","orcid":"https://orcid.org/0009-0006-0737-2853"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Walstan Baptista","raw_affiliation_strings":["Arizona State University (ASU), Tempe, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Arizona State University (ASU), Tempe, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049068584","display_name":"Gidon Ernst","orcid":"https://orcid.org/0000-0002-3289-5764"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gidon Ernst","raw_affiliation_strings":["Ludwig-Maximilians-University (LMU), Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-University (LMU), Munich, Germany","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058732387","display_name":"Georgios Fainekos","orcid":"https://orcid.org/0000-0002-0456-2129"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Georgios Fainekos","raw_affiliation_strings":["Toyota Motor North America, Research & Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Motor North America, Research & Development","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069902157","display_name":"Federico Formica","orcid":"https://orcid.org/0000-0002-3033-7371"},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Federico Formica","raw_affiliation_strings":["McMaster University, Hamilton, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093083441","display_name":"Sauvik Gon","orcid":"https://orcid.org/0000-0002-2356-8841"},"institutions":[{"id":"https://openalex.org/I165998391","display_name":"Indian Association for the Cultivation of Science","ror":"https://ror.org/050p6gz73","country_code":"IN","type":"education","lineage":["https://openalex.org/I165998391"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sauvik Gon","raw_affiliation_strings":["Indian Association for the Cultivation of Science, Kolkata, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Association for the Cultivation of Science, Kolkata, India","institution_ids":["https://openalex.org/I165998391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040750463","display_name":"Tanmay Khandait","orcid":"https://orcid.org/0000-0002-5029-5607"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tanmay Khandait","raw_affiliation_strings":["Arizona State University (ASU), Tempe, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Arizona State University (ASU), Tempe, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102813700","display_name":"A. Kundu","orcid":"https://orcid.org/0000-0001-9416-6957"},"institutions":[{"id":"https://openalex.org/I165998391","display_name":"Indian Association for the Cultivation of Science","ror":"https://ror.org/050p6gz73","country_code":"IN","type":"education","lineage":["https://openalex.org/I165998391"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Atanu Kundu","raw_affiliation_strings":["Indian Association for the Cultivation of Science, Kolkata, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Association for the Cultivation of Science, Kolkata, India","institution_ids":["https://openalex.org/I165998391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049158387","display_name":"Giulia Pedrielli","orcid":"https://orcid.org/0000-0001-6726-9790"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Giulia Pedrielli","raw_affiliation_strings":["Arizona State University (ASU), Tempe, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Arizona State University (ASU), Tempe, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068621395","display_name":"Jarkko Peltom\u00e4ki","orcid":"https://orcid.org/0000-0003-3164-1559"},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jarkko Peltom\u00e4ki","raw_affiliation_strings":["\u00c5bo Akademi University, Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c5bo Akademi University, Turku, Finland","institution_ids":["https://openalex.org/I130217899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043249778","display_name":"Iv\u00e1n Porres","orcid":"https://orcid.org/0000-0002-6791-2018"},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Ivan Porres","raw_affiliation_strings":["\u00c5bo Akademi University, Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c5bo Akademi University, Turku, Finland","institution_ids":["https://openalex.org/I130217899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081795281","display_name":"R. L. Ray","orcid":"https://orcid.org/0000-0002-7990-6416"},"institutions":[{"id":"https://openalex.org/I165998391","display_name":"Indian Association for the Cultivation of Science","ror":"https://ror.org/050p6gz73","country_code":"IN","type":"education","lineage":["https://openalex.org/I165998391"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rajarshi Ray","raw_affiliation_strings":["Indian Association for the Cultivation of Science, Kolkata, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Association for the Cultivation of Science, Kolkata, India","institution_ids":["https://openalex.org/I165998391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039539654","display_name":"Masaki Waga","orcid":"https://orcid.org/0000-0001-9360-7490"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masaki Waga","raw_affiliation_strings":["Kyoto University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kyoto University, Japan","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100684366","display_name":"Zhenya Zhang","orcid":"https://orcid.org/0000-0002-3854-9846"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Zhenya Zhang","raw_affiliation_strings":["Kyushu University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kyushu University, Japan","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":8,"institutions_distinct_count":15,"corresponding_author_ids":["https://openalex.org/A5018466538"],"corresponding_institution_ids":["https://openalex.org/I11039511","https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":2.9375,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.91471215,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"96","issue":null,"first_page":"151","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.8055416345596313},{"id":"https://openalex.org/keywords/arch","display_name":"Arch","score":0.7435171604156494},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.626107394695282},{"id":"https://openalex.org/keywords/competition","display_name":"Competition (biology)","score":0.5846734642982483},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4362432360649109},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.41975873708724976},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41790398955345154},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.37726259231567383},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3726387619972229},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22986376285552979},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22119292616844177},{"id":"https://openalex.org/keywords/civil-engineering","display_name":"Civil engineering","score":0.05869665741920471}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.8055416345596313},{"id":"https://openalex.org/C11312509","wikidata":"https://www.wikidata.org/wiki/Q12277","display_name":"Arch","level":2,"score":0.7435171604156494},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.626107394695282},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.5846734642982483},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4362432360649109},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.41975873708724976},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41790398955345154},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.37726259231567383},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3726387619972229},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22986376285552979},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22119292616844177},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.05869665741920471},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.29007/6nqs","is_oa":true,"landing_page_url":"https://doi.org/10.29007/6nqs","pdf_url":"https://easychair.org/publications/open/wFh9","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/843986d0-dedf-45ca-a43e-b7a89f80fe97","is_oa":true,"landing_page_url":"https://research.abo.fi/en/publications/843986d0-dedf-45ca-a43e-b7a89f80fe97","pdf_url":"https://research.abo.fi/ws/files/58616662/ARCH-COMP23_Category_Report_Falsification_1_.pdf","source":{"id":"https://openalex.org/S4406923060","display_name":"\u00c5bo Akademi University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Menghi, C, Arcaini, P, Baptista, W, Ernst, G, Fainekos, G, Formica, F, Gon, S, Khandait, T, Kundu, A, Pedrielli, G, Peltom\u00e4ki, J, Porres, I, Ray, R, Waga, M & Zhang, Z 2023, ARCH-COMP 2023 Category Report: Falsification. in Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EPiC Series in Computing, vol. 96, EasyChair, pp. 151-169, International Workshop on Applied Verification of Continuous and Hybrid Systems , 12/04/23. https://doi.org/10.29007/6nqs","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:aisberg.unibg.it:10446/262253","is_oa":false,"landing_page_url":"https://hdl.handle.net/10446/262253","pdf_url":null,"source":{"id":"https://openalex.org/S4377196347","display_name":"Aisberg (University of Bergamo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11039511","host_organization_name":"University of Bergamo","host_organization_lineage":["https://openalex.org/I11039511"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:publications/843986d0-dedf-45ca-a43e-b7a89f80fe97","is_oa":true,"landing_page_url":"https://urn.fi/URN:NBN:fi-fe202402055564","pdf_url":null,"source":{"id":"https://openalex.org/S4406923060","display_name":"\u00c5bo Akademi University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Menghi , C , Arcaini , P , Baptista , W , Ernst , G , Fainekos , G , Formica , F , Gon , S , Khandait , T , Kundu , A , Pedrielli , G , Peltom\u00e4ki , J , Porres , I , Ray , R , Waga , M & Zhang , Z 2023 , ARCH-COMP 2023 Category Report: Falsification . in Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) . EPiC Series in Computing , vol. 96 , EasyChair , pp. 151-169 , International Workshop on Applied Verification of Continuous and Hybrid Systems , 12/04/23 . https://doi.org/10.29007/6nqs","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.29007/6nqs","is_oa":true,"landing_page_url":"https://doi.org/10.29007/6nqs","pdf_url":"https://easychair.org/publications/open/wFh9","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5899999737739563}],"awards":[{"id":"https://openalex.org/G1587886695","display_name":null,"funder_award_id":"1829238","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1677877499","display_name":null,"funder_award_id":"501100009024","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G1716091338","display_name":null,"funder_award_id":"JPMJMI20B8","funder_id":"https://openalex.org/F4320338243","funder_display_name":"JST-Mirai Program"},{"id":"https://openalex.org/G2522002880","display_name":null,"funder_award_id":"1829238","funder_id":"https://openalex.org/F4320337391","funder_display_name":"Division of Civil, Mechanical and Manufacturing Innovation"},{"id":"https://openalex.org/G3906042923","display_name":null,"funder_award_id":"2046588","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5451389186","display_name":null,"funder_award_id":"FA8750-20-C-0507","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G54800691","display_name":null,"funder_award_id":"04622","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5613623313","display_name":null,"funder_award_id":"CREST","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5697896161","display_name":null,"funder_award_id":"JP23K16865","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5913768863","display_name":null,"funder_award_id":"JPMJER1603","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G6392761602","display_name":null,"funder_award_id":"JP23H03372","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6618363488","display_name":null,"funder_award_id":"101007350","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G6718509927","display_name":null,"funder_award_id":"CREST","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7104007207","display_name":null,"funder_award_id":"DGECR-2022-0040","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G7600066815","display_name":"\u53e4\u4ee3\u8aac\u8a71\u306b\u304a\u3051\u308b\u8af8\u5bfa\u7e01\u8d77\u306e\u7814\u7a76","funder_award_id":"13039","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7775410883","display_name":null,"funder_award_id":"101007350","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7933674667","display_name":"SaTC: CORE: Medium: Self-Adaptive Cyber Risk Management via  Machine to Machine Economy Supported by Blockchain and Smart Contracts  Technology","funder_award_id":"2000792","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8008078829","display_name":null,"funder_award_id":"JPMJCR2012","funder_id":"https://openalex.org/F4320338075","funder_display_name":"Core Research for Evolutional Science and Technology"},{"id":"https://openalex.org/G8707758390","display_name":null,"funder_award_id":"RGPIN-2022-04622","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320337391","display_name":"Division of Civil, Mechanical and Manufacturing Innovation","ror":"https://ror.org/028yd4c30"},{"id":"https://openalex.org/F4320338075","display_name":"Core Research for Evolutional Science and Technology","ror":"https://ror.org/00097mb19"},{"id":"https://openalex.org/F4320338112","display_name":"Exploratory Research for Advanced Technology","ror":null},{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null},{"id":"https://openalex.org/F4320338246","display_name":"ACT-X","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387735129.pdf"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1503296932","https://openalex.org/W1506101803","https://openalex.org/W1508592466","https://openalex.org/W1508956012","https://openalex.org/W1547304883","https://openalex.org/W2026629052","https://openalex.org/W2068619069","https://openalex.org/W2131399618","https://openalex.org/W2474562651","https://openalex.org/W2571592482","https://openalex.org/W2741836388","https://openalex.org/W2785700716","https://openalex.org/W2798302610","https://openalex.org/W2898807502","https://openalex.org/W2898904083","https://openalex.org/W2927088448","https://openalex.org/W2932603064","https://openalex.org/W2963231286","https://openalex.org/W2963516601","https://openalex.org/W2978245725","https://openalex.org/W2982365423","https://openalex.org/W3002440596","https://openalex.org/W3021538051","https://openalex.org/W3028181794","https://openalex.org/W3086495553","https://openalex.org/W3096990961","https://openalex.org/W3106539157","https://openalex.org/W3156684054","https://openalex.org/W3166030298","https://openalex.org/W3172243185","https://openalex.org/W3184919107","https://openalex.org/W3197359847","https://openalex.org/W4200324797","https://openalex.org/W4281477745","https://openalex.org/W4281479388","https://openalex.org/W4282549856","https://openalex.org/W4286899536","https://openalex.org/W4311273059","https://openalex.org/W4311273067","https://openalex.org/W4319150769","https://openalex.org/W4386889431"],"related_works":["https://openalex.org/W2351700194","https://openalex.org/W1813077521","https://openalex.org/W2378211422","https://openalex.org/W2370180072","https://openalex.org/W3168322612","https://openalex.org/W42916264","https://openalex.org/W2789332928","https://openalex.org/W2745001401","https://openalex.org/W2752343614","https://openalex.org/W4232040869"],"abstract_inverted_index":{"This":[0],"report":[1],"presents":[2],"the":[3,6,11,15,26,32,35,42],"results":[4],"from":[5],"2023":[7],"friendly":[8],"competition":[9,36],"in":[10],"ARCH":[12],"workshop":[13],"for":[14],"falsification":[16],"of":[17],"temporal":[18],"logic":[19],"specifications":[20],"over":[21],"Cyber-Physical":[22],"Systems.":[23],"We":[24],"describe":[25],"benchmark":[27],"models":[28],"selected":[29],"to":[30],"compare":[31],"tools":[33],"and":[34,38,45,50],"settings":[37],"provide":[39],"background":[40],"on":[41],"participating":[43],"teams":[44],"tools.":[46],"Finally,":[47],"we":[48],"present":[49],"discuss":[51],"our":[52],"results.":[53]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}