{"id":"https://openalex.org/W7123361091","doi":"https://doi.org/10.1109/cdc57313.2025.11312208","title":"Learning Verifiable Control Policies Using Relaxed Verification","display_name":"Learning Verifiable Control Policies Using Relaxed Verification","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123361091","doi":"https://doi.org/10.1109/cdc57313.2025.11312208"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312208","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312208","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","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/A5122867256","display_name":"Puja Chaudhury","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Puja Chaudhury","raw_affiliation_strings":["Northeastern University,Boston,MA,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,MA,USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115460469","display_name":"Alexander Estornell","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Estornell","raw_affiliation_strings":["Northeastern University,Boston,MA,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,MA,USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5115460470","display_name":"Michael Everett","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Everett","raw_affiliation_strings":["Northeastern University,Boston,MA,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,MA,USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7024","last_page":"7029"},"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.5284000039100647,"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.5284000039100647,"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.19480000436306,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.07609999924898148,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.7626000046730042},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7157999873161316},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.61080002784729},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5909000039100647},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.558899998664856},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5415999889373779},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.46650001406669617},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.46309998631477356},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.3846000134944916}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7626000046730042},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7157999873161316},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6762999892234802},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.61080002784729},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5909000039100647},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.558899998664856},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5415999889373779},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.46650001406669617},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.46309998631477356},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.3846000134944916},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.36489999294281006},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.35109999775886536},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.34369999170303345},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.3208000063896179},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.31470000743865967},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2775000035762787},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312208","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312208","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"To":[0],"provide":[1],"safety":[2],"guarantees":[3,40],"for":[4,57],"learning-based":[5],"control":[6,106],"systems,":[7],"recent":[8],"work":[9,47],"has":[10],"developed":[11],"formal":[12],"verification":[13,36,51,69],"methods":[14],"to":[15,49,54,74,102,104],"apply":[16],"after":[17],"training":[18,53],"ends.":[19],"However,":[20],"if":[21],"the":[22,28,35,84,97],"trained":[23],"policy":[24],"does":[25],"not":[26,42],"meet":[27],"specifications,":[29],"or":[30],"there":[31],"is":[32,73],"conservatism":[33],"in":[34],"algorithm,":[37],"establishing":[38],"these":[39],"may":[41],"be":[43,62],"possible.":[44],"Instead,":[45],"this":[46,100],"proposes":[48],"perform":[50],"throughout":[52,64],"ultimately":[55],"aim":[56],"policies":[58,107],"whose":[59],"properties":[60],"can":[61],"evaluated":[63],"runtime":[65],"with":[66],"lightweight,":[67],"relaxed":[68],"algorithms.":[70],"The":[71],"approach":[72,101],"use":[75],"differentiable":[76],"reachability":[77],"analysis":[78],"and":[79,93,112],"incorporate":[80],"new":[81],"components":[82],"into":[83],"loss":[85],"function.":[86],"Numerical":[87],"experiments":[88],"on":[89],"a":[90],"quadrotor":[91],"model":[92,95],"unicycle":[94],"highlight":[96],"ability":[98],"of":[99],"lead":[103],"learned":[105],"that":[108],"satisfy":[109],"desired":[110],"reach-avoid":[111],"invariance":[113],"specifications.Code:":[114],"https://github.com/catplotlib/Learning-VerifiableControl-Policies-Using-Relaxed-Verification.":[115]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-01-14T00:00:00"}