{"id":"https:\/\/openalex.org\/W4387185400","doi":"https:\/\/doi.org\/10.3233\/faia230311","title":"Worrisome Properties of Neural Network Controllers and Their Symbolic Representations","display_name":"Worrisome Properties of Neural Network Controllers and Their Symbolic Representations","publication_year":2023,"publication_date":"2023-09-28","ids":{"openalex":"https:\/\/openalex.org\/W4387185400","doi":"https:\/\/doi.org\/10.3233\/faia230311"},"language":"en","primary_location":{"id":"doi:10.3233\/faia230311","is_oa":true,"landing_page_url":"http:\/\/dx.doi.org\/10.3233\/faia230311","pdf_url":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA230311","source":{"id":"https:\/\/openalex.org\/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"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":"cc-by-nc","license_id":"https:\/\/openalex.org\/licenses\/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA230311","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https:\/\/openalex.org\/A5067266084","display_name":"Jacek Cyranka","orcid":"https:\/\/orcid.org\/0000-0001-5719-0616"},"institutions":[{"id":"https:\/\/openalex.org\/I4210152232","display_name":"Institute of Informatics of the Slovak Academy of Sciences","ror":"https:\/\/ror.org\/04jgqpc26","country_code":"SK","type":"facility","lineage":["https:\/\/openalex.org\/I207624831","https:\/\/openalex.org\/I4210152232"]},{"id":"https:\/\/openalex.org\/I4654613","display_name":"University of Warsaw","ror":"https:\/\/ror.org\/039bjqg32","country_code":"PL","type":"education","lineage":["https:\/\/openalex.org\/I4654613"]}],"countries":["PL","SK"],"is_corresponding":true,"raw_author_name":"Jacek Cyranka","raw_affiliation_strings":["Institute of Informatics, University of Warsaw"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw","institution_ids":["https:\/\/openalex.org\/I4210152232","https:\/\/openalex.org\/I4654613"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5078307052","display_name":"Kevin E. M. Church","orcid":"https:\/\/orcid.org\/0000-0001-8996-0726"},"institutions":[{"id":"https:\/\/openalex.org\/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https:\/\/ror.org\/0161xgx34","country_code":"CA","type":"education","lineage":["https:\/\/openalex.org\/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kevin E.M. Church","raw_affiliation_strings":["Centre de Recherches Math\u00e9matiques, Universit\u00e9 de Montr\u00e9al"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre de Recherches Math\u00e9matiques, Universit\u00e9 de Montr\u00e9al","institution_ids":["https:\/\/openalex.org\/I70931966"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5010664127","display_name":"Jean\u2010Philippe Lessard","orcid":"https:\/\/orcid.org\/0000-0001-7672-6623"},"institutions":[{"id":"https:\/\/openalex.org\/I5023651","display_name":"McGill University","ror":"https:\/\/ror.org\/01pxwe438","country_code":"CA","type":"education","lineage":["https:\/\/openalex.org\/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jean-Philippe Lessard","raw_affiliation_strings":["Department of Mathematics and Statistics, McGill University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, McGill University","institution_ids":["https:\/\/openalex.org\/I5023651"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https:\/\/openalex.org\/A5067266084"],"corresponding_institution_ids":["https:\/\/openalex.org\/I4210152232","https:\/\/openalex.org\/I4654613"],"apc_list":null,"apc_paid":null,"fwci":0.6695,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78656581,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.982200026512146,"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.982200026512146,"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\/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9564999938011169,"subfield":{"id":"https:\/\/openalex.org\/subfields\/2208","display_name":"Electrical and Electronic 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\/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9179999828338623,"subfield":{"id":"https:\/\/openalex.org\/subfields\/2208","display_name":"Electrical and Electronic 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\/robustness","display_name":"Robustness (evolution)","score":0.8532608151435852},{"id":"https:\/\/openalex.org\/keywords\/computer-science","display_name":"Computer science","score":0.6121953129768372},{"id":"https:\/\/openalex.org\/keywords\/artificial-neural-network","display_name":"Artificial neural network","score":0.6108799576759338},{"id":"https:\/\/openalex.org\/keywords\/benchmark","display_name":"Benchmark (surveying)","score":0.555570125579834},{"id":"https:\/\/openalex.org\/keywords\/property","display_name":"Property (philosophy)","score":0.4956594705581665},{"id":"https:\/\/openalex.org\/keywords\/control-theory","display_name":"Control theory (sociology)","score":0.42144182324409485},{"id":"https:\/\/openalex.org\/keywords\/artificial-intelligence","display_name":"Artificial intelligence","score":0.3649011254310608},{"id":"https:\/\/openalex.org\/keywords\/control","display_name":"Control (management)","score":0.19126275181770325}],"concepts":[{"id":"https:\/\/openalex.org\/C63479239","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8532608151435852},{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.6121953129768372},{"id":"https:\/\/openalex.org\/C50644808","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q192776","display_name":"Artificial neural network","level":2,"score":0.6108799576759338},{"id":"https:\/\/openalex.org\/C185798385","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.555570125579834},{"id":"https:\/\/openalex.org\/C189950617","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4956594705581665},{"id":"https:\/\/openalex.org\/C47446073","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.42144182324409485},{"id":"https:\/\/openalex.org\/C154945302","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3649011254310608},{"id":"https:\/\/openalex.org\/C2775924081","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q55608371","display_name":"Control (management)","level":2,"score":0.19126275181770325},{"id":"https:\/\/openalex.org\/C205649164","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1071","display_name":"Geography","level":0,"score":0},{"id":"https:\/\/openalex.org\/C138885662","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q5891","display_name":"Philosophy","level":0,"score":0},{"id":"https:\/\/openalex.org\/C185592680","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2329","display_name":"Chemistry","level":0,"score":0},{"id":"https:\/\/openalex.org\/C111472728","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9471","display_name":"Epistemology","level":1,"score":0},{"id":"https:\/\/openalex.org\/C13280743","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q131089","display_name":"Geodesy","level":1,"score":0},{"id":"https:\/\/openalex.org\/C104317684","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7187","display_name":"Gene","level":2,"score":0},{"id":"https:\/\/openalex.org\/C55493867","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7094","display_name":"Biochemistry","level":1,"score":0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233\/faia230311","is_oa":true,"landing_page_url":"http:\/\/dx.doi.org\/10.3233\/faia230311","pdf_url":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA230311","source":{"id":"https:\/\/openalex.org\/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"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":"cc-by-nc","license_id":"https:\/\/openalex.org\/licenses\/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233\/faia230311","is_oa":true,"landing_page_url":"http:\/\/dx.doi.org\/10.3233\/faia230311","pdf_url":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA230311","source":{"id":"https:\/\/openalex.org\/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"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":"cc-by-nc","license_id":"https:\/\/openalex.org\/licenses\/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https:\/\/openalex.org\/G8818612554","display_name":null,"funder_award_id":"PPN\/PPO\/2018\/1\/00029","funder_id":"https:\/\/openalex.org\/F4320328499","funder_display_name":"Narodowa Agencja Wymiany Akademickiej"}],"funders":[{"id":"https:\/\/openalex.org\/F4320323873","display_name":"Uniwersytet Warszawski","ror":"https:\/\/ror.org\/039bjqg32"},{"id":"https:\/\/openalex.org\/F4320326815","display_name":"Infrastruktura PL-Grid","ror":"https:\/\/ror.org\/01m3qaz74"},{"id":"https:\/\/openalex.org\/F4320328499","display_name":"Narodowa Agencja Wymiany Akademickiej","ror":"https:\/\/ror.org\/02jf81j23"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https:\/\/content.openalex.org\/works\/W4387185400.pdf","grobid_xml":"https:\/\/content.openalex.org\/works\/W4387185400.grobid-xml"},"referenced_works_count":49,"referenced_works":["https:\/\/openalex.org\/W41554520","https:\/\/openalex.org\/W1945616565","https:\/\/openalex.org\/W1968313583","https:\/\/openalex.org\/W2120575449","https:\/\/openalex.org\/W2138537392","https:\/\/openalex.org\/W2158782408","https:\/\/openalex.org\/W2172184261","https:\/\/openalex.org\/W2173248099","https:\/\/openalex.org\/W2482888308","https:\/\/openalex.org\/W2594877703","https:\/\/openalex.org\/W2602963933","https:\/\/openalex.org\/W2604347212","https:\/\/openalex.org\/W2610679774","https:\/\/openalex.org\/W2766046980","https:\/\/openalex.org\/W2771145196","https:\/\/openalex.org\/W2777256551","https:\/\/openalex.org\/W2781585732","https:\/\/openalex.org\/W2787938642","https:\/\/openalex.org\/W2796284132","https:\/\/openalex.org\/W2798302610","https:\/\/openalex.org\/W2801079363","https:\/\/openalex.org\/W2883535494","https:\/\/openalex.org\/W2904246096","https:\/\/openalex.org\/W2947265751","https:\/\/openalex.org\/W2950183737","https:\/\/openalex.org\/W2963054787","https:\/\/openalex.org\/W2963672746","https:\/\/openalex.org\/W2963864421","https:\/\/openalex.org\/W2970971581","https:\/\/openalex.org\/W2979563282","https:\/\/openalex.org\/W2995442767","https:\/\/openalex.org\/W3002440596","https:\/\/openalex.org\/W3023131782","https:\/\/openalex.org\/W3036548566","https:\/\/openalex.org\/W3106539157","https:\/\/openalex.org\/W3163244177","https:\/\/openalex.org\/W3164011142","https:\/\/openalex.org\/W3169643971","https:\/\/openalex.org\/W3196302130","https:\/\/openalex.org\/W3210383428","https:\/\/openalex.org\/W3216772467","https:\/\/openalex.org\/W4221144037","https:\/\/openalex.org\/W4255754126","https:\/\/openalex.org\/W4288093153","https:\/\/openalex.org\/W4294624294","https:\/\/openalex.org\/W4295312788","https:\/\/openalex.org\/W4297794882","https:\/\/openalex.org\/W4386059206","https:\/\/openalex.org\/W6893603746"],"related_works":["https:\/\/openalex.org\/W2378211422","https:\/\/openalex.org\/W2745001401","https:\/\/openalex.org\/W4321353415","https:\/\/openalex.org\/W2130974462","https:\/\/openalex.org\/W972276598","https:\/\/openalex.org\/W4246352526","https:\/\/openalex.org\/W2028665553","https:\/\/openalex.org\/W4230315250","https:\/\/openalex.org\/W2086519370","https:\/\/openalex.org\/W2087343574"],"abstract_inverted_index":{"We":[0,12,52,63],"raise":[1],"concerns":[2],"about":[3],"controllers\u2019":[4],"robustness":[5,70],"in":[6,79],"simple":[7],"reinforcement":[8],"learning":[9],"benchmark":[10],"problems.":[11],"focus":[13],"on":[14],"neural":[15],"network":[16],"controllers":[17,57],"and":[18,22,72],"their":[19],"low":[20],"neuron":[21],"symbolic":[23],"abstractions.":[24],"A":[25],"typical":[26],"controller":[27],"reaching":[28],"high":[29],"mean":[30],"return":[31],"values":[32],"still":[33],"generates":[34],"an":[35,50,65],"abundance":[36],"of":[37,75],"persistent":[38,60,76],"low-return":[39],"solutions,":[40],"which":[41],"is":[42],"a":[43,68,85],"highly":[44],"undesirable":[45],"property,":[46],"easily":[47],"exploitable":[48],"by":[49],"adversary.":[51],"find":[53],"that":[54],"the":[55],"simpler":[56],"admit":[58],"more":[59],"bad":[61],"solutions.":[62],"provide":[64],"algorithm":[66],"for":[67],"systematic":[69],"study":[71],"prove":[73],"existence":[74],"solutions":[77],"and,":[78],"some":[80],"cases,":[81],"periodic":[82],"orbits,":[83],"using":[84],"computer-assisted":[86],"proof":[87],"methodology.":[88]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-09-04T10:56:28.161419","created_date":"2025-10-10T00:00:00"}