{"id":"https://openalex.org/W3188209232","doi":"https://doi.org/10.1145/3452296.3472936","title":"Verifying learning-augmented systems","display_name":"Verifying learning-augmented systems","publication_year":2021,"publication_date":"2021-08-09","ids":{"openalex":"https://openalex.org/W3188209232","doi":"https://doi.org/10.1145/3452296.3472936","mag":"3188209232"},"language":"en","primary_location":{"id":"doi:10.1145/3452296.3472936","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452296.3472936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012404627","display_name":"Tomer Eliyahu","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Tomer Eliyahu","raw_affiliation_strings":["The Hebrew University of Jerusalem"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020914482","display_name":"Yafim Kazak","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yafim Kazak","raw_affiliation_strings":["The Hebrew University of Jerusalem"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102986148","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0002-7729-8373"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Guy Katz","raw_affiliation_strings":["The Hebrew University of Jerusalem"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027593733","display_name":"Michael Schapira","orcid":"https://orcid.org/0000-0002-9336-8351"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Michael Schapira","raw_affiliation_strings":["The Hebrew University of Jerusalem"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"305","last_page":"318"},"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.9993000030517578,"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.9993000030517578,"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.9890999794006348,"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.949400007724762,"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/computer-science","display_name":"Computer science","score":0.794305682182312},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.6683272123336792},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6077313423156738},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5500966310501099},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.5402123928070068},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5400609970092773},{"id":"https://openalex.org/keywords/popularity","display_name":"Popularity","score":0.48392707109451294},{"id":"https://openalex.org/keywords/augmented-reality","display_name":"Augmented reality","score":0.4603957533836365},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.45597657561302185},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.447110652923584},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3978484272956848},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.33284640312194824},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11219638586044312},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10424324870109558}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.794305682182312},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.6683272123336792},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6077313423156738},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5500966310501099},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.5402123928070068},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5400609970092773},{"id":"https://openalex.org/C2780586970","wikidata":"https://www.wikidata.org/wiki/Q1357284","display_name":"Popularity","level":2,"score":0.48392707109451294},{"id":"https://openalex.org/C153715457","wikidata":"https://www.wikidata.org/wiki/Q254183","display_name":"Augmented reality","level":2,"score":0.4603957533836365},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.45597657561302185},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.447110652923584},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3978484272956848},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.33284640312194824},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11219638586044312},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10424324870109558},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3452296.3472936","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452296.3472936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1862398452","https://openalex.org/W1915485278","https://openalex.org/W2098432798","https://openalex.org/W2120346334","https://openalex.org/W2147623728","https://openalex.org/W2158395308","https://openalex.org/W2165698076","https://openalex.org/W2273088453","https://openalex.org/W2311603331","https://openalex.org/W2543296129","https://openalex.org/W2546571074","https://openalex.org/W2593267253","https://openalex.org/W2594877703","https://openalex.org/W2597068831","https://openalex.org/W2616028256","https://openalex.org/W2740020751","https://openalex.org/W2741401130","https://openalex.org/W2744628735","https://openalex.org/W2754537581","https://openalex.org/W2794609696","https://openalex.org/W2824027552","https://openalex.org/W2892430965","https://openalex.org/W2894818483","https://openalex.org/W2899116309","https://openalex.org/W2905299363","https://openalex.org/W2938701611","https://openalex.org/W2957311447","https://openalex.org/W2963054787","https://openalex.org/W2963327228","https://openalex.org/W2967062414","https://openalex.org/W2967394917","https://openalex.org/W2967595108","https://openalex.org/W2968986602","https://openalex.org/W2982540258","https://openalex.org/W2985924307","https://openalex.org/W2995523160","https://openalex.org/W3046662910","https://openalex.org/W3047908945","https://openalex.org/W3094683669","https://openalex.org/W3096553286","https://openalex.org/W3102139284","https://openalex.org/W3140205966","https://openalex.org/W4388759515","https://openalex.org/W4398786193","https://openalex.org/W6677737365"],"related_works":["https://openalex.org/W2368605798","https://openalex.org/W2518037665","https://openalex.org/W2348524959","https://openalex.org/W2477036161","https://openalex.org/W2368049389","https://openalex.org/W2384861574","https://openalex.org/W2170801710","https://openalex.org/W2952704802","https://openalex.org/W4294565801","https://openalex.org/W2142306706"],"abstract_inverted_index":{"The":[0],"application":[1],"of":[2,20,50,53,100,148,159],"deep":[3,101],"reinforcement":[4],"learning":[5],"(DRL)":[6],"to":[7,28,35,41,55,60,67,78,116],"computer":[8],"and":[9,135,158],"networked":[10],"systems":[11,32,56,124,155],"has":[12],"recently":[13,121],"gained":[14],"significant":[15,39],"popularity.":[16],"However,":[17],"the":[18,98],"obscurity":[19],"decisions":[21],"by":[22],"DRL":[23,54,89],"policies":[24,90],"renders":[25],"it":[26],"hard":[27],"ascertain":[29],"that":[30,47,69,144,150],"learning-augmented":[31,123],"are":[33,156,168],"safe":[34],"deploy,":[36],"posing":[37],"a":[38,70,85],"obstacle":[40],"their":[42],"real-world":[43,127],"adoption.":[44],"We":[45,82],"observe":[46],"specific":[48,161],"characteristics":[49],"recent":[51,95],"applications":[52],"contexts":[57],"give":[58],"rise":[59],"an":[61],"exciting":[62],"opportunity:":[63],"applying":[64],"formal":[65],"verification":[66,99],"establish":[68],"given":[71],"system":[72],"provably":[73],"satisfies":[74],"designer/user-specified":[75],"requirements,":[76],"or":[77],"expose":[79],"concrete":[80],"counter-examples.":[81],"present":[83],"whiRL,":[84],"platform":[86],"for":[87,91,125],"verifying":[88],"systems,":[92],"which":[93,164],"combines":[94],"advances":[96],"in":[97,138,163],"neural":[102],"networks":[103],"with":[104],"scalable":[105],"model":[106],"checking":[107],"techniques.":[108],"To":[109],"exemplify":[110],"its":[111],"usefulness,":[112],"we":[113],"employ":[114],"whiRL":[115,145],"verify":[117],"natural":[118,151],"equirements":[119],"from":[120,153],"introduced":[122],"three":[126],"environments:":[128],"Internet":[129],"congestion":[130],"control,":[131],"adaptive":[132],"video":[133],"streaming,":[134],"job":[136],"scheduling":[137],"compute":[139],"clusters.":[140],"Our":[141],"evaluation":[142],"shows":[143],"is":[146],"capable":[147],"guaranteeing":[149],"requirements":[152,167],"these":[154],"satisfied,":[157],"exposing":[160],"scenarios":[162],"other":[165],"basic":[166],"not.":[169]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":18},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}