{"id":"https://openalex.org/W4386927538","doi":"https://doi.org/10.1561/2600000029","title":"Formal Methods for Autonomous Systems","display_name":"Formal Methods for Autonomous Systems","publication_year":2023,"publication_date":"2023-09-21","ids":{"openalex":"https://openalex.org/W4386927538","doi":"https://doi.org/10.1561/2600000029"},"language":"en","primary_location":{"id":"doi:10.1561/2600000029","is_oa":false,"landing_page_url":"https://doi.org/10.1561/2600000029","pdf_url":null,"source":{"id":"https://openalex.org/S4210220164","display_name":"Foundations and Trends\u00ae in Systems and Control","issn_l":"2325-6818","issn":["2325-6818","2325-6826"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Systems and Control","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2311.01258","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017176660","display_name":"Tichakorn Wongpiromsarn","orcid":"https://orcid.org/0000-0002-3977-122X"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tichakorn Wongpiromsarn","raw_affiliation_strings":["Iowa State University,","Iowa State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University,","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101793459","display_name":"Mahsa Ghasemi","orcid":"https://orcid.org/0000-0003-4302-4806"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahsa Ghasemi","raw_affiliation_strings":["Purdue University,","Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University,","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050465036","display_name":"Murat Cubuktepe","orcid":"https://orcid.org/0000-0002-0409-2403"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murat Cubuktepe","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080758702","display_name":"Georgios Bakirtzis","orcid":"https://orcid.org/0000-0003-4992-0193"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Georgios Bakirtzis","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051915018","display_name":"Steven Carr","orcid":"https://orcid.org/0000-0002-5661-3768"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven Carr","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070802988","display_name":"Mustafa O. Karabag","orcid":"https://orcid.org/0000-0002-6812-956X"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mustafa O. Karabag","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066859311","display_name":"Cyrus Neary","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cyrus Neary","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042227524","display_name":"Parham Gohari","orcid":"https://orcid.org/0000-0002-8880-7436"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Parham Gohari","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["The University of Texas at Austin,","The University of Texas at Austin, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin,","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0347,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80129445,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"10","issue":"3-4","first_page":"180","last_page":"407"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922999739646912,"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.9922999739646912,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9703999757766724,"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/correctness","display_name":"Correctness","score":0.7906217575073242},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7747163772583008},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.7589672803878784},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5660532116889954},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5313112735748291},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.49807095527648926},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.4858226776123047},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4584296941757202},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.4425663948059082},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3998878598213196},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3777022957801819},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3437420129776001},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2904096245765686},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19726786017417908},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17470499873161316}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7906217575073242},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7747163772583008},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7589672803878784},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5660532116889954},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5313112735748291},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.49807095527648926},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.4858226776123047},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4584296941757202},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.4425663948059082},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3998878598213196},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3777022957801819},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3437420129776001},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2904096245765686},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19726786017417908},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17470499873161316},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1561/2600000029","is_oa":false,"landing_page_url":"https://doi.org/10.1561/2600000029","pdf_url":null,"source":{"id":"https://openalex.org/S4210220164","display_name":"Foundations and Trends\u00ae in Systems and Control","issn_l":"2325-6818","issn":["2325-6818","2325-6826"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Systems and Control","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2311.01258","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.01258","pdf_url":"https://arxiv.org/pdf/2311.01258","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2311.01258","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.01258","pdf_url":"https://arxiv.org/pdf/2311.01258","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1033131904","display_name":"CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems","funder_award_id":"1652113","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G2242979920","display_name":null,"funder_award_id":"80NSSC21M0071","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"},{"id":"https://openalex.org/G2331281619","display_name":"Collaborative Research: CPS: Medium: Sharing the World with Autonomous Systems: What Goes Wrong and How to Fix It","funder_award_id":"2211141","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3235915408","display_name":"CAREER: Establishing correctness of learning-enabled autonomous systems with conflicting requirements","funder_award_id":"2141153","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5398608241","display_name":null,"funder_award_id":"CNS-1836900","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6191118875","display_name":null,"funder_award_id":"FA9550-19-1-0169","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6562578720","display_name":null,"funder_award_id":"FA9550-19-1-0005","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7377845663","display_name":null,"funder_award_id":"FA9550-19-1-0169","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G7596599032","display_name":"CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems","funder_award_id":"1646522","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8289759875","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320322037","display_name":"Nuclear Safety and Security Commission","ror":"https://ror.org/05qk3ge34"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386927538.pdf","grobid_xml":"https://content.openalex.org/works/W4386927538.grobid-xml"},"referenced_works_count":249,"referenced_works":["https://openalex.org/W13989923","https://openalex.org/W54056894","https://openalex.org/W176014633","https://openalex.org/W198718317","https://openalex.org/W380645361","https://openalex.org/W602128623","https://openalex.org/W754964377","https://openalex.org/W1482244486","https://openalex.org/W1482727770","https://openalex.org/W1488064212","https://openalex.org/W1489391022","https://openalex.org/W1498432697","https://openalex.org/W1504504841","https://openalex.org/W1506588809","https://openalex.org/W1518436864","https://openalex.org/W1522301498","https://openalex.org/W1532041863","https://openalex.org/W1532688806","https://openalex.org/W1533557569","https://openalex.org/W1537589219","https://openalex.org/W1551945692","https://openalex.org/W1563965851","https://openalex.org/W1564865570","https://openalex.org/W1569068921","https://openalex.org/W1582497976","https://openalex.org/W1584571167","https://openalex.org/W1584965098","https://openalex.org/W1594100802","https://openalex.org/W1600556058","https://openalex.org/W1603488308","https://openalex.org/W1606824214","https://openalex.org/W1612453857","https://openalex.org/W1662842982","https://openalex.org/W1679534293","https://openalex.org/W1701684472","https://openalex.org/W1761635979","https://openalex.org/W1786377004","https://openalex.org/W1850240193","https://openalex.org/W1862398452","https://openalex.org/W1927741686","https://openalex.org/W1957911494","https://openalex.org/W1958500697","https://openalex.org/W1967733266","https://openalex.org/W1971139410","https://openalex.org/W1973013779","https://openalex.org/W1973938051","https://openalex.org/W1976466849","https://openalex.org/W1978100913","https://openalex.org/W1978848993","https://openalex.org/W1978956894","https://openalex.org/W1980206966","https://openalex.org/W1980848756","https://openalex.org/W1988217924","https://openalex.org/W1995856582","https://openalex.org/W1999766763","https://openalex.org/W2009680197","https://openalex.org/W2015688007","https://openalex.org/W2016206563","https://openalex.org/W2019261678","https://openalex.org/W2019799927","https://openalex.org/W2023808162","https://openalex.org/W2025217226","https://openalex.org/W2027175684","https://openalex.org/W2041743477","https://openalex.org/W2047217912","https://openalex.org/W2048563056","https://openalex.org/W2054801208","https://openalex.org/W2062694502","https://openalex.org/W2064572756","https://openalex.org/W2066778083","https://openalex.org/W2073548775","https://openalex.org/W2074802943","https://openalex.org/W2076513239","https://openalex.org/W2080108722","https://openalex.org/W2086070079","https://openalex.org/W2087992130","https://openalex.org/W2094467916","https://openalex.org/W2096533821","https://openalex.org/W2101623441","https://openalex.org/W2102104695","https://openalex.org/W2108188253","https://openalex.org/W2108473514","https://openalex.org/W2117189826","https://openalex.org/W2121092017","https://openalex.org/W2125047630","https://openalex.org/W2126509366","https://openalex.org/W2127203018","https://openalex.org/W2128263973","https://openalex.org/W2128347943","https://openalex.org/W2128491181","https://openalex.org/W2136579724","https://openalex.org/W2138856440","https://openalex.org/W2144502731","https://openalex.org/W2148446974","https://openalex.org/W2149150933","https://openalex.org/W2149439161","https://openalex.org/W2150335178","https://openalex.org/W2150447589","https://openalex.org/W2151058089","https://openalex.org/W2151958719","https://openalex.org/W2154137718","https://openalex.org/W2155153696","https://openalex.org/W2155327357","https://openalex.org/W2157807654","https://openalex.org/W2160997270","https://openalex.org/W2161521419","https://openalex.org/W2162000948","https://openalex.org/W2162128401","https://openalex.org/W2163941698","https://openalex.org/W2164933205","https://openalex.org/W2167412190","https://openalex.org/W2167805536","https://openalex.org/W2169677720","https://openalex.org/W2177617373","https://openalex.org/W2178626170","https://openalex.org/W2182989809","https://openalex.org/W2235884325","https://openalex.org/W2272086451","https://openalex.org/W2284340808","https://openalex.org/W2285658092","https://openalex.org/W2288174618","https://openalex.org/W2291973609","https://openalex.org/W2323089860","https://openalex.org/W2335911175","https://openalex.org/W2343568200","https://openalex.org/W2381901500","https://openalex.org/W2407104115","https://openalex.org/W2425244199","https://openalex.org/W2467435924","https://openalex.org/W2496613029","https://openalex.org/W2524411080","https://openalex.org/W2553034051","https://openalex.org/W2567104370","https://openalex.org/W2569030807","https://openalex.org/W2587263590","https://openalex.org/W2588878038","https://openalex.org/W2593267253","https://openalex.org/W2593845678","https://openalex.org/W2594336441","https://openalex.org/W2594789366","https://openalex.org/W2597337536","https://openalex.org/W2600686309","https://openalex.org/W2603471005","https://openalex.org/W2604176721","https://openalex.org/W2605323209","https://openalex.org/W2615547864","https://openalex.org/W2716905450","https://openalex.org/W2725263144","https://openalex.org/W2741248519","https://openalex.org/W2742117688","https://openalex.org/W2746423042","https://openalex.org/W2768035641","https://openalex.org/W2787596386","https://openalex.org/W2790380176","https://openalex.org/W2796919988","https://openalex.org/W2796944097","https://openalex.org/W2803547033","https://openalex.org/W2804948070","https://openalex.org/W2823704907","https://openalex.org/W2885195348","https://openalex.org/W2886854944","https://openalex.org/W2886902312","https://openalex.org/W2893340409","https://openalex.org/W2895196950","https://openalex.org/W2896500468","https://openalex.org/W2899115773","https://openalex.org/W2902907165","https://openalex.org/W2912085563","https://openalex.org/W2914370506","https://openalex.org/W2921681895","https://openalex.org/W2936135090","https://openalex.org/W2944507797","https://openalex.org/W2949905447","https://openalex.org/W2962946825","https://openalex.org/W2963210277","https://openalex.org/W2963240753","https://openalex.org/W2963307044","https://openalex.org/W2963318568","https://openalex.org/W2963324077","https://openalex.org/W2963451394","https://openalex.org/W2963575966","https://openalex.org/W2964006217","https://openalex.org/W2964122198","https://openalex.org/W2964131705","https://openalex.org/W2964335273","https://openalex.org/W2966504041","https://openalex.org/W2966537673","https://openalex.org/W2968120782","https://openalex.org/W2970673985","https://openalex.org/W2971671194","https://openalex.org/W2972457137","https://openalex.org/W2972500268","https://openalex.org/W2982115117","https://openalex.org/W2988490775","https://openalex.org/W2995644129","https://openalex.org/W2997350486","https://openalex.org/W2997688648","https://openalex.org/W3011209257","https://openalex.org/W3011250830","https://openalex.org/W3011416673","https://openalex.org/W3012458970","https://openalex.org/W3014811439","https://openalex.org/W3018763859","https://openalex.org/W3023500921","https://openalex.org/W3034246012","https://openalex.org/W3035670338","https://openalex.org/W3035730325","https://openalex.org/W3038835214","https://openalex.org/W3040259477","https://openalex.org/W3067857708","https://openalex.org/W3088952667","https://openalex.org/W3090827750","https://openalex.org/W3092156990","https://openalex.org/W3102039646","https://openalex.org/W3118656864","https://openalex.org/W3128168044","https://openalex.org/W3134141736","https://openalex.org/W3143293027","https://openalex.org/W3150105804","https://openalex.org/W3166391859","https://openalex.org/W3169125646","https://openalex.org/W3171755056","https://openalex.org/W3186243269","https://openalex.org/W3197524599","https://openalex.org/W3215640983","https://openalex.org/W4200629302","https://openalex.org/W4205437843","https://openalex.org/W4206807714","https://openalex.org/W4213377513","https://openalex.org/W4214717370","https://openalex.org/W4225574041","https://openalex.org/W4229907990","https://openalex.org/W4231208998","https://openalex.org/W4235688125","https://openalex.org/W4237849303","https://openalex.org/W4238276956","https://openalex.org/W4255213956","https://openalex.org/W4287113179","https://openalex.org/W4287660132","https://openalex.org/W4288365487","https://openalex.org/W4293278282","https://openalex.org/W4295332768","https://openalex.org/W4295678793","https://openalex.org/W4295719664","https://openalex.org/W4297781990","https://openalex.org/W4298023569","https://openalex.org/W4298248375","https://openalex.org/W4310180233","https://openalex.org/W4388298802"],"related_works":["https://openalex.org/W2111870610","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W2963033028","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"Formal":[0],"methods":[1,29,74,158,169],"refer":[2],"to":[3,7,37,49,146,152],"rigorous,":[4],"mathematical":[5],"approaches":[6],"system":[8,42,53,135],"development":[9],"and":[10,32,39,44,51,91,106,179,181],"have":[11],"played":[12],"a":[13,61,127,134,142],"key":[14],"role":[15],"in":[16,41,75,97,170],"establishing":[17],"the":[18,47,64,68,76,102,108,121],"correctness":[19],"of":[20,27,63,67,72,104,110,123,144,156,176],"safety-critical":[21],"systems.":[22],"The":[23],"main":[24],"building":[25],"blocks":[26],"formal":[28,56,73,116,157,168,177],"are":[30,35],"models":[31],"specifications,":[33],"which":[34],"analogous":[36],"behaviors":[38,54],"requirements":[40],"design":[43],"give":[45],"us":[46],"means":[48],"verify":[50],"synthesize":[52],"with":[55,125,160,164],"guarantees.":[57],"This":[58],"monograph":[59],"provides":[60],"survey":[62],"current":[65],"state":[66],"art":[69],"on":[70],"applications":[71],"autonomous":[77],"systems":[78,96,111,124],"domain.":[79],"We":[80,148,162],"consider":[81],"correct-by-construction":[82],"synthesis":[83,122],"under":[84],"various":[85],"formulations,":[86],"including":[87],"closed":[88],"systems,":[89],"reactive,":[90],"probabilistic":[92],"settings.":[93],"Beyond":[94],"synthesizing":[95],"known":[98],"environments,":[99],"we":[100,119],"address":[101],"concept":[103],"uncertainty":[105],"bound":[107],"behavior":[109],"that":[112,132],"employ":[113],"learning":[114],"using":[115],"methods.":[117],"Further,":[118],"examine":[120],"monitoring,":[126],"mitigation":[128],"technique":[129],"for":[130,167],"ensuring":[131],"once":[133],"deviates":[136],"from":[137],"expected":[138],"behavior,":[139],"it":[140],"knows":[141],"way":[143],"returning":[145],"normalcy.":[147],"also":[149],"show":[150],"how":[151],"overcome":[153],"some":[154],"limitations":[155],"themselves":[159],"learning.":[161],"conclude":[163],"future":[165],"directions":[166],"reinforcement":[171],"learning,":[172],"uncertainty,":[173],"privacy,":[174],"explainability":[175],"methods,":[178],"regulation":[180],"certification.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T08:27:34.040176","created_date":"2025-10-10T00:00:00"}