{"id":"https://openalex.org/W4387667084","doi":"https://doi.org/10.1145/3622875","title":"Perception Contracts for Safety of ML-Enabled Systems","display_name":"Perception Contracts for Safety of ML-Enabled Systems","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387667084","doi":"https://doi.org/10.1145/3622875"},"language":"en","primary_location":{"id":"doi:10.1145/3622875","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622875","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622875","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622875","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004048843","display_name":"Angello Astorga","orcid":"https://orcid.org/0000-0002-7996-4798"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Angello Astorga","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0002-7996-4798","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056752928","display_name":"Chiao Hsieh","orcid":"https://orcid.org/0000-0001-8339-9915"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chiao Hsieh","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0001-8339-9915","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112870293","display_name":"P. Madhusudan","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Madhusudan","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0002-9782-721X","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085795401","display_name":"Sayan Mitra","orcid":"https://orcid.org/0000-0002-6672-8470"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sayan Mitra","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0002-6672-8470","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":2.538,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.91125727,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"2196","last_page":"2223"},"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.9865000247955322,"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.9865000247955322,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9620000123977661,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.8400615453720093},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5949620008468628},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5852752327919006},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5418286323547363},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48811134696006775},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.48762550950050354},{"id":"https://openalex.org/keywords/row","display_name":"Row","score":0.4208308458328247},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.3933110535144806},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34002768993377686},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.14292895793914795},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11778572201728821}],"concepts":[{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.8400615453720093},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5949620008468628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5852752327919006},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5418286323547363},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48811134696006775},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.48762550950050354},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.4208308458328247},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3933110535144806},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34002768993377686},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.14292895793914795},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11778572201728821},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622875","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622875","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622875","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3622875","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622875","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622875","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Zero hunger","id":"https://metadata.un.org/sdg/2"}],"awards":[{"id":"https://openalex.org/G5620962805","display_name":null,"funder_award_id":"67021","funder_id":"https://openalex.org/F4320332299","funder_display_name":"National Institute of Food and Agriculture"}],"funders":[{"id":"https://openalex.org/F4320306114","display_name":"U.S. Department of Agriculture","ror":"https://ror.org/01na82s61"},{"id":"https://openalex.org/F4320332299","display_name":"National Institute of Food and Agriculture","ror":"https://ror.org/05qx3fv49"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387667084.pdf","grobid_xml":"https://content.openalex.org/works/W4387667084.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W55814457","https://openalex.org/W2070840290","https://openalex.org/W2103318645","https://openalex.org/W2124770562","https://openalex.org/W2187041056","https://openalex.org/W2294152467","https://openalex.org/W2464784130","https://openalex.org/W2496887306","https://openalex.org/W2560674852","https://openalex.org/W2794609696","https://openalex.org/W2900153411","https://openalex.org/W2955030688","https://openalex.org/W2964199920","https://openalex.org/W2965660219","https://openalex.org/W3046712683","https://openalex.org/W3114467743","https://openalex.org/W3139990154","https://openalex.org/W3175317224","https://openalex.org/W3176708290","https://openalex.org/W3183756122","https://openalex.org/W3205423569","https://openalex.org/W3214220452","https://openalex.org/W4210496774","https://openalex.org/W4221156074","https://openalex.org/W4231709874","https://openalex.org/W4293243644","https://openalex.org/W4302012921","https://openalex.org/W4308215379"],"related_works":["https://openalex.org/W4281971614","https://openalex.org/W2390933768","https://openalex.org/W2467236363","https://openalex.org/W2982353255","https://openalex.org/W2084086966","https://openalex.org/W2953259538","https://openalex.org/W3008919008","https://openalex.org/W3175260668","https://openalex.org/W3122721839","https://openalex.org/W2184455175"],"abstract_inverted_index":{"We":[0,38,59],"introduce":[1],"a":[2,40,54,74],"novel":[3],"notion":[4],"of":[5,13,42,57,114],"perception":[6,43,66,100],"contracts":[7,24,44,67,101],"to":[8],"reason":[9],"about":[10],"the":[11,115],"safety":[12],"controllers":[14],"that":[15,30,86,93],"interact":[16],"with":[17],"an":[18,79,83],"environment":[19],"using":[20],"neural":[21],"perception.":[22],"Perception":[23],"capture":[25],"errors":[26],"in":[27,98],"ground-truth":[28],"estimations":[29],"preserve":[31],"invariants":[32],"when":[33,105],"systems":[34],"act":[35],"upon":[36],"them.":[37],"develop":[39],"theory":[41],"and":[45,63,82,102],"design":[46],"symbolic":[47],"learning":[48],"algorithms":[49,62],"for":[50,68,78],"synthesizing":[51,99],"them":[52],"from":[53],"finite":[55],"set":[56],"images.":[58],"implement":[60],"our":[61,94],"evaluate":[64],"synthesized":[65],"two":[69],"realistic":[70],"vision-based":[71],"control":[72],"systems,":[73],"lane":[75],"tracking":[76],"system":[77],"electric":[80],"vehicle":[81],"agricultural":[84],"robot":[85],"follows":[87],"crop":[88],"rows.":[89],"Our":[90],"evaluation":[91],"shows":[92],"approach":[95],"is":[96],"effective":[97],"generalizes":[103],"well":[104],"evaluated":[106],"over":[107],"test":[108],"images":[109],"obtained":[110],"during":[111],"runtime":[112],"monitoring":[113],"systems.":[116]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":6}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}