{"id":"https://openalex.org/W4382936150","doi":"https://doi.org/10.23919/acc55779.2023.10156345","title":"Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives","display_name":"Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives","publication_year":2023,"publication_date":"2023-05-31","ids":{"openalex":"https://openalex.org/W4382936150","doi":"https://doi.org/10.23919/acc55779.2023.10156345"},"language":"en","primary_location":{"id":"doi:10.23919/acc55779.2023.10156345","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc55779.2023.10156345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 American Control Conference (ACC)","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/A5054637010","display_name":"Navid Hashemi","orcid":"https://orcid.org/0000-0002-6147-3675"},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"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"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Navid Hashemi","raw_affiliation_strings":["University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087698461","display_name":"Xin Qin","orcid":"https://orcid.org/0000-0001-7457-0565"},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xin Qin","raw_affiliation_strings":["University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":["University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058732387","display_name":"Georgios Fainekos","orcid":"https://orcid.org/0000-0002-0456-2129"},"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"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Georgios Fainekos","raw_affiliation_strings":["Toyota Motor North America R&D"],"affiliations":[{"raw_affiliation_string":"Toyota Motor North America R&D","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044251694","display_name":"Bardh Hoxha","orcid":"https://orcid.org/0000-0001-6255-7566"},"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"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Bardh Hoxha","raw_affiliation_strings":["Toyota Motor North America R&D"],"affiliations":[{"raw_affiliation_string":"Toyota Motor North America R&D","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061971606","display_name":"Danil Prokhorov","orcid":"https://orcid.org/0000-0002-6208-4233"},"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"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Danil Prokhorov","raw_affiliation_strings":["Toyota Motor North America R&D"],"affiliations":[{"raw_affiliation_string":"Toyota Motor North America R&D","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081703435","display_name":"Tomoya Yamaguchi","orcid":"https://orcid.org/0000-0003-0996-5725"},"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"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Tomoya Yamaguchi","raw_affiliation_strings":["Toyota Motor North America R&D"],"affiliations":[{"raw_affiliation_string":"Toyota Motor North America R&D","institution_ids":["https://openalex.org/I1293612202"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5054637010"],"corresponding_institution_ids":["https://openalex.org/I1174212","https://openalex.org/I2800817003"],"apc_list":null,"apc_paid":null,"fwci":0.8081,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75661914,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"4096","last_page":"4103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T12072","display_name":"Machine Learning and Algorithms","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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.993399977684021,"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/robustness","display_name":"Robustness (evolution)","score":0.7729488611221313},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7196736335754395},{"id":"https://openalex.org/keywords/margin","display_name":"Margin (machine learning)","score":0.5324491262435913},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5249588489532471},{"id":"https://openalex.org/keywords/quadcopter","display_name":"Quadcopter","score":0.4866812825202942},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.44301745295524597},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.43631991744041443},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4252152442932129},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.39445266127586365},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3391920328140259},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.24939638376235962},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.23432248830795288},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15720722079277039}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7729488611221313},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7196736335754395},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.5324491262435913},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5249588489532471},{"id":"https://openalex.org/C2779199153","wikidata":"https://www.wikidata.org/wiki/Q43965","display_name":"Quadcopter","level":2,"score":0.4866812825202942},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.44301745295524597},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.43631991744041443},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4252152442932129},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.39445266127586365},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3391920328140259},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.24939638376235962},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.23432248830795288},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15720722079277039},{"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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc55779.2023.10156345","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc55779.2023.10156345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321788","display_name":"Airbus","ror":"https://ror.org/023qdcg29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1506101803","https://openalex.org/W1522531528","https://openalex.org/W1540039963","https://openalex.org/W1547304883","https://openalex.org/W1647779468","https://openalex.org/W1971086298","https://openalex.org/W1976466849","https://openalex.org/W2036664528","https://openalex.org/W2092884371","https://openalex.org/W2095274657","https://openalex.org/W2121863487","https://openalex.org/W2254640530","https://openalex.org/W2524638160","https://openalex.org/W2567705466","https://openalex.org/W2569270512","https://openalex.org/W2621540998","https://openalex.org/W2785700716","https://openalex.org/W2792781634","https://openalex.org/W2841721725","https://openalex.org/W2899771611","https://openalex.org/W2913775679","https://openalex.org/W2921419489","https://openalex.org/W2921561174","https://openalex.org/W2963199590","https://openalex.org/W2968945909","https://openalex.org/W2971273347","https://openalex.org/W2979818850","https://openalex.org/W3011713702","https://openalex.org/W3046032971","https://openalex.org/W3120924814","https://openalex.org/W3207334744","https://openalex.org/W4221141136","https://openalex.org/W4250589301","https://openalex.org/W4292249799","https://openalex.org/W4300773931","https://openalex.org/W4316813665","https://openalex.org/W6756040250","https://openalex.org/W6810114696","https://openalex.org/W6844321534"],"related_works":["https://openalex.org/W4293056360","https://openalex.org/W4386804942","https://openalex.org/W2966028239","https://openalex.org/W2264340699","https://openalex.org/W2909947097","https://openalex.org/W4286283119","https://openalex.org/W2890534329","https://openalex.org/W4293734307","https://openalex.org/W2905865448","https://openalex.org/W4399767831"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,68],"consider":[4],"the":[5,12,18,35,65,76,92,98,103,113,117,120,124,130],"problem":[6],"of":[7,14,64,123,132],"synthesizing":[8],"a":[9,107,150],"controller":[10],"in":[11],"presence":[13],"uncertainty":[15],"such":[16,144],"that":[17,34],"resulting":[19],"closed-loop":[20],"system":[21,59,125],"satisfies":[22],"certain":[23,28],"hard":[24,36],"constraints":[25,37],"while":[26,50,101],"optimizing":[27],"(soft)":[29],"performance":[30,51,99,128],"objectives.":[31],"We":[32,79,111,135],"assume":[33],"encoding":[38],"safety":[39],"or":[40],"mission-critical":[41],"specifications":[42],"are":[43],"expressed":[44],"using":[45,54,129],"Signal":[46],"Temporal":[47],"Logic":[48],"(STL),":[49],"is":[52],"quantified":[53],"standard":[55],"cost":[56],"functions":[57,73],"on":[58,139],"trajectories.":[60],"To":[61],"ensure":[62],"satisfaction":[63],"STL":[66,77],"constraints,":[67],"algorithmically":[69],"obtain":[70],"control":[71,142],"barrier":[72],"(CBFs)":[74],"from":[75],"specifications.":[78],"model":[80],"controllers":[81],"as":[82,145],"neural":[83],"networks":[84],"(NNs)":[85],"and":[86,126,149],"provide":[87],"an":[88],"algorithm":[89],"to":[90,95],"train":[91],"NN":[93],"parameters":[94],"simultaneously":[96],"optimize":[97],"objectives":[100],"satisfying":[102],"CBF":[104],"conditions":[105],"(with":[106],"user-specified":[108],"robustness":[109,121],"margin).":[110],"evaluate":[112],"risk":[114,133],"incurred":[115],"by":[116],"trade-off":[118],"between":[119],"margin":[122],"its":[127],"formalism":[131],"measures.":[134],"demonstrate":[136],"our":[137],"approach":[138],"challenging":[140],"nonlinear":[141],"examples":[143],"quadcopter":[146],"motion":[147],"planning":[148],"unicycle.":[151]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}