{"id":"https://openalex.org/W2796576875","doi":"https://doi.org/10.1145/3195970.3199852","title":"Reasoning about safety of learning-enabled components in autonomous cyber-physical systems","display_name":"Reasoning about safety of learning-enabled components in autonomous cyber-physical systems","publication_year":2018,"publication_date":"2018-06-19","ids":{"openalex":"https://openalex.org/W2796576875","doi":"https://doi.org/10.1145/3195970.3199852","mag":"2796576875"},"language":"en","primary_location":{"id":"doi:10.1145/3195970.3199852","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3195970.3199852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1804.03973","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080673186","display_name":"Cumhur Erkan Tuncali","orcid":"https://orcid.org/0000-0002-8948-187X"},"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"]},{"id":"https://openalex.org/I4391768151","display_name":"Toyota Research Institute","ror":"https://ror.org/04fpkc108","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4391768151"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Cumhur Erkan Tuncali","raw_affiliation_strings":["Toyota Research Institute of North America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Research Institute of North America","institution_ids":["https://openalex.org/I1293612202","https://openalex.org/I4391768151"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043322219","display_name":"James Kapinski","orcid":"https://orcid.org/0000-0003-4130-2913"},"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"]},{"id":"https://openalex.org/I4391768151","display_name":"Toyota Research Institute","ror":"https://ror.org/04fpkc108","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4391768151"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"James Kapinski","raw_affiliation_strings":["Toyota Research Institute of North America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Research Institute of North America","institution_ids":["https://openalex.org/I1293612202","https://openalex.org/I4391768151"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109242534","display_name":"Hisahiro Ito","orcid":null},"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"]},{"id":"https://openalex.org/I4391768151","display_name":"Toyota Research Institute","ror":"https://ror.org/04fpkc108","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210125472","https://openalex.org/I4391768151"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Hisahiro Ito","raw_affiliation_strings":["Toyota Research Institute of North America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Research Institute of North America","institution_ids":["https://openalex.org/I1293612202","https://openalex.org/I4391768151"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I2800817003","display_name":"California Southern University","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":["University of Southern California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8585,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.88872549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9968000054359436,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.7703741788864136},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7037864923477173},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6754841208457947},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6305949687957764},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6085572242736816},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5393189787864685},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4346103370189667},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.34211504459381104},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32423415780067444},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31392955780029297},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2513326406478882},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14844676852226257},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07477915287017822}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7703741788864136},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7037864923477173},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6754841208457947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6305949687957764},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6085572242736816},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5393189787864685},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4346103370189667},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.34211504459381104},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32423415780067444},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31392955780029297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2513326406478882},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14844676852226257},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07477915287017822},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3195970.3199852","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3195970.3199852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1804.03973","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1804.03973","pdf_url":"https://arxiv.org/pdf/1804.03973","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2796576875","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1804.03973","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1804.03973","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1804.03973","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1804.03973","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1804.03973","pdf_url":"https://arxiv.org/pdf/1804.03973","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2796576875.pdf","grobid_xml":"https://content.openalex.org/works/W2796576875.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1547737196","https://openalex.org/W2011199136","https://openalex.org/W2112036188","https://openalex.org/W2128612513","https://openalex.org/W2166280160","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2773814846","https://openalex.org/W2963054787","https://openalex.org/W3163244177"],"related_works":["https://openalex.org/W2963186766","https://openalex.org/W2963913218","https://openalex.org/W2962702177","https://openalex.org/W2616028256","https://openalex.org/W2594877703","https://openalex.org/W2543296129","https://openalex.org/W2964130946","https://openalex.org/W2963208512","https://openalex.org/W2791251367","https://openalex.org/W3185438801","https://openalex.org/W3093719098","https://openalex.org/W3176360342","https://openalex.org/W3135208861","https://openalex.org/W2968467774","https://openalex.org/W3017993124","https://openalex.org/W1966911833","https://openalex.org/W2898971174","https://openalex.org/W2734349411","https://openalex.org/W2745246440","https://openalex.org/W2530076479"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,30,35,63,80,101,106,117,122],"simulation-based":[3],"approach":[4,97],"for":[5,10,46,66],"generating":[6],"barrier":[7,64,87],"certificate":[8,65,88],"functions":[9],"safety":[11],"verification":[12],"of":[13,37,53,83,110],"cyber-physical":[14],"systems":[15],"(CPS)":[16],"that":[17,72],"contain":[18],"neural":[19,118],"network-based":[20],"controllers.":[21],"A":[22,50],"linear":[23],"programming":[24],"solver":[25],"is":[26,57,98,114],"utilized":[27],"to":[28,60,120],"find":[29],"candidate":[31],"generator":[32,55],"function":[33,56],"from":[34,79],"set":[36,52,82],"simulation":[38],"traces":[39],"obtained":[40],"by":[41,116],"randomly":[42],"selecting":[43],"initial":[44,84],"states":[45,76],"the":[47,54,67],"CPS":[48],"model.":[49],"level":[51],"then":[58],"selected":[59],"act":[61],"as":[62],"system,":[68],"meaning":[69],"it":[70],"demonstrates":[71],"no":[73],"unsafe":[74],"system":[75],"are":[77,90],"reachable":[78],"given":[81,123],"states.":[85],"The":[86],"properties":[89],"verified":[91],"with":[92],"an":[93,111],"SMT":[94],"solver.":[95],"This":[96],"demonstrated":[99],"on":[100],"case":[102],"study":[103],"in":[104],"which":[105],"Dubins":[107],"car":[108],"model":[109],"autonomous":[112],"vehicle":[113],"controlled":[115],"network":[119],"follow":[121],"path.":[124]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}