{"id":"https://openalex.org/W2937290319","doi":"https://doi.org/10.1145/3302504.3313351","title":"Sherlock - A tool for verification of neural network feedback systems","display_name":"Sherlock - A tool for verification of neural network feedback systems","publication_year":2019,"publication_date":"2019-04-08","ids":{"openalex":"https://openalex.org/W2937290319","doi":"https://doi.org/10.1145/3302504.3313351","mag":"2937290319"},"language":"en","primary_location":{"id":"doi:10.1145/3302504.3313351","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3302504.3313351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"article","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/A5051298939","display_name":"Souradeep Dutta","orcid":"https://orcid.org/0000-0003-2706-2095"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Souradeep Dutta","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100363117","display_name":"Xin Chen","orcid":"https://orcid.org/0000-0003-1990-2058"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xin Chen","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035902535","display_name":"Susmit Jha","orcid":"https://orcid.org/0000-0001-5983-9095"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Susmit Jha","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103106502","display_name":"Sriram Sankaranarayanan","orcid":"https://orcid.org/0000-0001-7315-4340"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sriram Sankaranarayanan","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086308451","display_name":"Ashish Tiwari","orcid":"https://orcid.org/0000-0003-2817-2771"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ashish Tiwari","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5051298939"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.0604,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.95092358,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"262","last_page":"263"},"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.9965000152587891,"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.9965000152587891,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9488000273704529,"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/computer-science","display_name":"Computer science","score":0.7436155080795288},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6805181503295898},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5890551209449768},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5568601489067078},{"id":"https://openalex.org/keywords/feed-forward","display_name":"Feed forward","score":0.5563458800315857},{"id":"https://openalex.org/keywords/feedforward-neural-network","display_name":"Feedforward neural network","score":0.5453335046768188},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.5384504795074463},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4714794158935547},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.45753318071365356},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.43356311321258545},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.37730783224105835},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3260088264942169},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.28228700160980225},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10059431195259094},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09750664234161377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08914533257484436}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7436155080795288},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6805181503295898},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5890551209449768},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5568601489067078},{"id":"https://openalex.org/C38858127","wikidata":"https://www.wikidata.org/wiki/Q5441228","display_name":"Feed forward","level":2,"score":0.5563458800315857},{"id":"https://openalex.org/C47702885","wikidata":"https://www.wikidata.org/wiki/Q5441227","display_name":"Feedforward neural network","level":3,"score":0.5453335046768188},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.5384504795074463},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4714794158935547},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.45753318071365356},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43356311321258545},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.37730783224105835},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3260088264942169},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.28228700160980225},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10059431195259094},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09750664234161377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08914533257484436},{"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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3302504.3313351","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3302504.3313351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W2594877703","https://openalex.org/W2610679774","https://openalex.org/W2889490035"],"related_works":["https://openalex.org/W4231704780","https://openalex.org/W2115072676","https://openalex.org/W4311212821","https://openalex.org/W2045727192","https://openalex.org/W2102065768","https://openalex.org/W4390752998","https://openalex.org/W1529660427","https://openalex.org/W3121106353","https://openalex.org/W2158578859","https://openalex.org/W4323927134"],"abstract_inverted_index":{"We":[0,86,122],"present":[1],"an":[2,20,48],"approach":[3,128],"for":[4,13],"the":[5,37,51,78,82,98,106,119,124],"synthesis":[6,79],"and":[7,62,89,93],"verification":[8,43,92],"of":[9,50,57,81,126,132],"neural":[10,25,113],"network":[11,114],"controllers":[12],"closed":[14],"loop":[15],"dynamical":[16],"systems,":[17],"modelled":[18],"as":[19,84],"ordinary":[21],"differential":[22],"equation.":[23],"Feedforward":[24],"networks":[26],"are":[27],"ubiquitous":[28],"when":[29],"it":[30],"comes":[31],"to":[32,46,66,109,137],"approximating":[33],"functions,":[34],"especially":[35],"in":[36,111],"machine":[38],"learning":[39],"literature.":[40],"The":[41],"proposed":[42],"technique":[44],"tries":[45],"construct":[47],"over-approximation":[49],"system":[52,99],"trajectories":[53],"using":[54],"a":[55,101,112,130],"combination":[56],"tools,":[58],"such":[59],"as,":[60],"Sherlock":[61],"Flow*.":[63],"In":[64],"addition":[65],"computing":[67],"reach":[68],"sets,":[69],"we":[70],"incorporate":[71],"counter":[72,94],"examples":[73],"or":[74,105],"bad":[75],"traces":[76],"into":[77],"phase":[80],"controller":[83],"well.":[85],"go":[87],"back":[88],"forth":[90],"between":[91],"example":[95],"generation":[96],"until":[97],"outputs":[100],"fully":[102],"verified":[103],"controller,":[104],"training":[107],"fails":[108],"terminate":[110],"which":[115],"is":[116],"compliant":[117],"with":[118],"desired":[120],"specifications.":[121],"demonstrate":[123],"effectiveness":[125],"our":[127],"over":[129],"suite":[131],"benchmarks":[133],"ranging":[134],"from":[135],"2":[136],"17":[138],"variables.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}