{"id":"https://openalex.org/W2784743256","doi":"https://doi.org/10.1146/annurev-control-060117-104838","title":"Synthesis for Robots: Guarantees and Feedback for Robot Behavior","display_name":"Synthesis for Robots: Guarantees and Feedback for Robot Behavior","publication_year":2018,"publication_date":"2018-01-19","ids":{"openalex":"https://openalex.org/W2784743256","doi":"https://doi.org/10.1146/annurev-control-060117-104838","mag":"2784743256"},"language":"en","primary_location":{"id":"doi:10.1146/annurev-control-060117-104838","is_oa":true,"landing_page_url":"https://doi.org/10.1146/annurev-control-060117-104838","pdf_url":"https://www.annualreviews.org/doi/pdf/10.1146/annurev-control-060117-104838","source":{"id":"https://openalex.org/S4210191328","display_name":"Annual Review of Control Robotics and Autonomous Systems","issn_l":"2573-5144","issn":["2573-5144"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320373","host_organization_name":"Annual Reviews","host_organization_lineage":["https://openalex.org/P4310320373"],"host_organization_lineage_names":["Annual Reviews"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annual Review of Control, Robotics, and Autonomous Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.annualreviews.org/doi/pdf/10.1146/annurev-control-060117-104838","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020074157","display_name":"Hadas Kress\u2010Gazit","orcid":"https://orcid.org/0000-0002-7754-1011"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hadas Kress-Gazit","raw_affiliation_strings":["Sibley School of Mechanical and Aerospace Engineering, Cornell University, Ithaca, New York 14853, USA;"],"affiliations":[{"raw_affiliation_string":"Sibley School of Mechanical and Aerospace Engineering, Cornell University, Ithaca, New York 14853, USA;","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford OX1 3QD, United Kingdom;"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford OX1 3QD, United Kingdom;","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074189357","display_name":"Vasumathi Raman","orcid":null},"institutions":[{"id":"https://openalex.org/I180670191","display_name":"University of California, San Francisco","ror":"https://ror.org/043mz5j54","country_code":"US","type":"education","lineage":["https://openalex.org/I180670191"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vasumathi Raman","raw_affiliation_strings":["San Francisco, California 94103, USA;"],"affiliations":[{"raw_affiliation_string":"San Francisco, California 94103, USA;","institution_ids":["https://openalex.org/I180670191"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020074157"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":13.8927,"has_fulltext":true,"cited_by_count":168,"citation_normalized_percentile":{"value":0.99199132,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"1","issue":"1","first_page":"211","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9958999752998352,"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.7778317928314209},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.756060779094696},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6882145404815674},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.6748312711715698},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.618588924407959},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6131985187530518},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5124574303627014},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4739758372306824},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4639771580696106},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4576853811740875},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4564703404903412},{"id":"https://openalex.org/keywords/behavior-based-robotics","display_name":"Behavior-based robotics","score":0.42945390939712524},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.33828139305114746},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2487364113330841},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24541282653808594},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.12075528502464294},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08112436532974243}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7778317928314209},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.756060779094696},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6882145404815674},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.6748312711715698},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.618588924407959},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6131985187530518},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5124574303627014},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4739758372306824},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4639771580696106},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4576853811740875},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4564703404903412},{"id":"https://openalex.org/C19766214","wikidata":"https://www.wikidata.org/wiki/Q4880688","display_name":"Behavior-based robotics","level":4,"score":0.42945390939712524},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.33828139305114746},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2487364113330841},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24541282653808594},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.12075528502464294},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08112436532974243},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1146/annurev-control-060117-104838","is_oa":true,"landing_page_url":"https://doi.org/10.1146/annurev-control-060117-104838","pdf_url":"https://www.annualreviews.org/doi/pdf/10.1146/annurev-control-060117-104838","source":{"id":"https://openalex.org/S4210191328","display_name":"Annual Review of Control Robotics and Autonomous Systems","issn_l":"2573-5144","issn":["2573-5144"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320373","host_organization_name":"Annual Reviews","host_organization_lineage":["https://openalex.org/P4310320373"],"host_organization_lineage_names":["Annual Reviews"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annual Review of Control, Robotics, and Autonomous Systems","raw_type":"journal-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:1fd2aabc-5bbf-4253-9e48-0e0bd35bf8e8","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:1fd2aabc-5bbf-4253-9e48-0e0bd35bf8e8","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1146/annurev-control-060117-104838","is_oa":true,"landing_page_url":"https://doi.org/10.1146/annurev-control-060117-104838","pdf_url":"https://www.annualreviews.org/doi/pdf/10.1146/annurev-control-060117-104838","source":{"id":"https://openalex.org/S4210191328","display_name":"Annual Review of Control Robotics and Autonomous Systems","issn_l":"2573-5144","issn":["2573-5144"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320373","host_organization_name":"Annual Reviews","host_organization_lineage":["https://openalex.org/P4310320373"],"host_organization_lineage_names":["Annual Reviews"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annual Review of Control, Robotics, and Autonomous Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2784743256.pdf","grobid_xml":"https://content.openalex.org/works/W2784743256.grobid-xml"},"referenced_works_count":112,"referenced_works":["https://openalex.org/W341854258","https://openalex.org/W1266757872","https://openalex.org/W1480288693","https://openalex.org/W1482748162","https://openalex.org/W1498432697","https://openalex.org/W1517771483","https://openalex.org/W1527405706","https://openalex.org/W1527587747","https://openalex.org/W1540597046","https://openalex.org/W1540883472","https://openalex.org/W1544630839","https://openalex.org/W1547304883","https://openalex.org/W1556387789","https://openalex.org/W1563854815","https://openalex.org/W1565544898","https://openalex.org/W1608773992","https://openalex.org/W1843564936","https://openalex.org/W1927741686","https://openalex.org/W1964007137","https://openalex.org/W1967294943","https://openalex.org/W1970269621","https://openalex.org/W1970927851","https://openalex.org/W1975134293","https://openalex.org/W1975219867","https://openalex.org/W1978100913","https://openalex.org/W1980077901","https://openalex.org/W1984016039","https://openalex.org/W1989495662","https://openalex.org/W1992992996","https://openalex.org/W1994451575","https://openalex.org/W1995626426","https://openalex.org/W2004796166","https://openalex.org/W2006625750","https://openalex.org/W2015640848","https://openalex.org/W2016206563","https://openalex.org/W2020293036","https://openalex.org/W2021422577","https://openalex.org/W2022850652","https://openalex.org/W2023721993","https://openalex.org/W2032587419","https://openalex.org/W2035381971","https://openalex.org/W2038469972","https://openalex.org/W2041701185","https://openalex.org/W2049399166","https://openalex.org/W2059470663","https://openalex.org/W2061372038","https://openalex.org/W2064572756","https://openalex.org/W2071797744","https://openalex.org/W2073548775","https://openalex.org/W2078151802","https://openalex.org/W2079042739","https://openalex.org/W2082965709","https://openalex.org/W2083802276","https://openalex.org/W2087452255","https://openalex.org/W2091682553","https://openalex.org/W2091932875","https://openalex.org/W2092884371","https://openalex.org/W2094992633","https://openalex.org/W2095274657","https://openalex.org/W2095901198","https://openalex.org/W2100538121","https://openalex.org/W2109525524","https://openalex.org/W2110144538","https://openalex.org/W2110762409","https://openalex.org/W2116364955","https://openalex.org/W2117927826","https://openalex.org/W2124339220","https://openalex.org/W2124623089","https://openalex.org/W2125408844","https://openalex.org/W2134032706","https://openalex.org/W2136579724","https://openalex.org/W2147970103","https://openalex.org/W2150335178","https://openalex.org/W2151958719","https://openalex.org/W2153813483","https://openalex.org/W2155020620","https://openalex.org/W2155327357","https://openalex.org/W2157807654","https://openalex.org/W2158749632","https://openalex.org/W2164402964","https://openalex.org/W2165744968","https://openalex.org/W2169289043","https://openalex.org/W2169779711","https://openalex.org/W2187020956","https://openalex.org/W2217538972","https://openalex.org/W2256658272","https://openalex.org/W2296264365","https://openalex.org/W2297081251","https://openalex.org/W2305588532","https://openalex.org/W2328737820","https://openalex.org/W2336884378","https://openalex.org/W2337661843","https://openalex.org/W2343223723","https://openalex.org/W2381901500","https://openalex.org/W2470448410","https://openalex.org/W2476245236","https://openalex.org/W2488636769","https://openalex.org/W2499811908","https://openalex.org/W2528726414","https://openalex.org/W2557072247","https://openalex.org/W2569030807","https://openalex.org/W2569270512","https://openalex.org/W2602257487","https://openalex.org/W2620827312","https://openalex.org/W2737617799","https://openalex.org/W2798257756","https://openalex.org/W2962822210","https://openalex.org/W2962927158","https://openalex.org/W2963778636","https://openalex.org/W2964009453","https://openalex.org/W4289256978","https://openalex.org/W4296471858"],"related_works":["https://openalex.org/W4253777939","https://openalex.org/W2314860101","https://openalex.org/W4298112394","https://openalex.org/W4383172090","https://openalex.org/W2533550592","https://openalex.org/W2521059652","https://openalex.org/W2899803801","https://openalex.org/W4252407247","https://openalex.org/W2544762252","https://openalex.org/W2344694625"],"abstract_inverted_index":{"Robot":[0],"control":[1],"for":[2,55,66,71,118,131],"tasks":[3,26,73],"such":[4],"as":[5],"moving":[6],"around":[7],"obstacles":[8],"or":[9,88],"grasping":[10],"objects":[11],"has":[12],"advanced":[13],"significantly":[14],"in":[15,35,74],"the":[16,93,104,119,125,135],"last":[17],"few":[18],"decades.":[19],"However,":[20],"controlling":[21],"robots":[22],"to":[23,69,101],"perform":[24],"complex":[25],"is":[27,43],"still":[28],"accomplished":[29],"largely":[30],"by":[31],"highly":[32],"trained":[33],"programmers":[34],"a":[36,75,90],"manual,":[37],"time-consuming,":[38],"and":[39,61,79,114,133,140],"error-prone":[40],"process":[41],"that":[42,92,143],"typically":[44],"validated":[45],"only":[46],"through":[47],"extensive":[48],"testing.":[49],"Formal":[50,64],"methods":[51],"are":[52],"mathematical":[53],"techniques":[54],"reasoning":[56],"about":[57,103],"systems,":[58],"their":[59,62],"requirements,":[60],"guarantees.":[63],"synthesis":[65,130,141],"robotics":[67,132],"refers":[68],"frameworks":[70],"specifying":[72],"mathematically":[76],"precise":[77],"language":[78],"automatically":[80],"transforming":[81],"these":[82],"specifications":[83],"into":[84,89],"correct-by-construction":[85],"robot":[86],"controllers":[87],"proof":[91],"task":[94,105],"cannot":[95],"be":[96],"done.":[97],"Synthesis":[98],"allows":[99],"users":[100],"reason":[102],"specification":[106],"rather":[107],"than":[108],"its":[109],"implementation,":[110],"reduces":[111],"implementation":[112],"error,":[113],"provides":[115],"behavioral":[116],"guarantees":[117],"resulting":[120],"controller.":[121],"This":[122],"article":[123],"reviews":[124],"current":[126],"state":[127],"of":[128,137],"formal":[129],"surveys":[134],"landscape":[136],"abstractions,":[138],"specifications,":[139],"algorithms":[142],"enable":[144],"it.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":19},{"year":2024,"cited_by_count":28},{"year":2023,"cited_by_count":32},{"year":2022,"cited_by_count":21},{"year":2021,"cited_by_count":22},{"year":2020,"cited_by_count":23},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":8}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}