{"id":"https://openalex.org/W4416748629","doi":"https://doi.org/10.1109/iros60139.2025.11246055","title":"Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair","display_name":"Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair","publication_year":2025,"publication_date":"2025-10-19","ids":{"openalex":"https://openalex.org/W4416748629","doi":"https://doi.org/10.1109/iros60139.2025.11246055"},"language":null,"primary_location":{"id":"doi:10.1109/iros60139.2025.11246055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11246055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","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/A5062633180","display_name":"Ziyi Zhou","orcid":"https://orcid.org/0000-0003-1589-0598"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziyi Zhou","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102262828","display_name":"Qian Meng","orcid":null},"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":false,"raw_author_name":"Qian Meng","raw_affiliation_strings":["Cornell University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","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":false,"raw_author_name":"Hadas Kress-Gazit","raw_affiliation_strings":["Cornell University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100357981","display_name":"Ye Zhao","orcid":"https://orcid.org/0000-0002-0710-2873"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ye Zhao","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":"16768","last_page":"16775"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10879","display_name":"Robotic Locomotion and Control","score":0.42289999127388,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10879","display_name":"Robotic Locomotion and Control","score":0.42289999127388,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.350600004196167,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12290","display_name":"Human Motion and Animation","score":0.04479999840259552,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/leverage","display_name":"Leverage (statistics)","score":0.6816999912261963},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.579800009727478},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5223000049591064},{"id":"https://openalex.org/keywords/trajectory-optimization","display_name":"Trajectory optimization","score":0.48570001125335693},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4853000044822693},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4722000062465668},{"id":"https://openalex.org/keywords/terrain","display_name":"Terrain","score":0.44999998807907104},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.44110000133514404}],"concepts":[{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6816999912261963},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6092000007629395},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.579800009727478},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5223000049591064},{"id":"https://openalex.org/C173246807","wikidata":"https://www.wikidata.org/wiki/Q7833062","display_name":"Trajectory optimization","level":3,"score":0.48570001125335693},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4853000044822693},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4722000062465668},{"id":"https://openalex.org/C161840515","wikidata":"https://www.wikidata.org/wiki/Q186131","display_name":"Terrain","level":2,"score":0.44999998807907104},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.44110000133514404},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.3628999888896942},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.335999995470047},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3296000063419342},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.31200000643730164},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3111000061035156},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.30630001425743103},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.3059000074863434},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.30379998683929443},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3005000054836273},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.29670000076293945},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.2906000018119812},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.27810001373291016},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.26420000195503235},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.259799987077713},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros60139.2025.11246055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11246055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1502718064","https://openalex.org/W2015149365","https://openalex.org/W2041701185","https://openalex.org/W2476245236","https://openalex.org/W2567729074","https://openalex.org/W2774366155","https://openalex.org/W2788200022","https://openalex.org/W2899953468","https://openalex.org/W2909331752","https://openalex.org/W3090033167","https://openalex.org/W3095484646","https://openalex.org/W3130987264","https://openalex.org/W3203830790","https://openalex.org/W4221155215","https://openalex.org/W4226250682","https://openalex.org/W4226331969","https://openalex.org/W4312271328","https://openalex.org/W4312453053","https://openalex.org/W4378696928","https://openalex.org/W4385756627","https://openalex.org/W4386766398","https://openalex.org/W4390480952","https://openalex.org/W4396712933","https://openalex.org/W4401415639","https://openalex.org/W4403677679"],"related_works":[],"abstract_inverted_index":{"We":[0,71,145],"propose":[1],"an":[2],"integrated":[3],"planning":[4,66],"framework":[5,43],"for":[6,20,60,67],"quadrupedal":[7],"locomotion":[8,155],"over":[9],"dynamically":[10],"changing,":[11],"unforeseen":[12],"terrains.":[13],"Existing":[14],"approaches":[15],"either":[16],"rely":[17],"on":[18],"heuristics":[19],"instantaneous":[21],"foothold":[22],"selection\u2013compromising":[23],"safety":[24],"and":[25,36,55,62,103,142,157,168],"versatility\u2013or":[26],"solve":[27],"expensive":[28],"trajectory":[29],"optimization":[30],"problems":[31],"with":[32,127,132],"complex":[33],"terrain":[34,129],"features":[35],"long":[37],"time":[38],"horizons.":[39],"In":[40],"contrast,":[41],"our":[42,149],"leverages":[44],"reactive":[45],"synthesis":[46,83,90,141],"to":[47,76,100,104,115,152],"generate":[48,116],"correct-by-construction":[49],"controllers":[50],"at":[51],"the":[52,78,125,137],"symbolic":[53,69,112,119,134],"level,":[54],"mixed-integer":[56],"convex":[57],"programming":[58],"(MICP)":[59],"dynamic":[61,101],"physically":[63],"feasible":[64],"footstep":[65],"each":[68],"transition.":[70],"use":[72],"a":[73,111],"high-level":[74],"manager":[75],"reduce":[77],"large":[79],"state":[80],"space":[81],"in":[82,147,160],"by":[84],"incorporating":[85],"local":[86],"environment":[87],"information,":[88],"improving":[89],"scalability.":[91],"To":[92],"handle":[93],"specifications":[94],"that":[95],"cannot":[96],"be":[97],"met":[98],"due":[99],"infeasibility,":[102],"minimize":[105],"costly":[106],"MICP":[107,126],"solves,":[108],"we":[109],"leverage":[110],"repair":[113],"process":[114],"only":[117],"necessary":[118],"transitions.":[120],"During":[121],"online":[122,143],"execution,":[123],"re-running":[124],"real-world":[128],"data,":[130],"along":[131],"runtime":[133],"repair,":[135],"bridges":[136],"gap":[138],"between":[139],"offline":[140],"execution.":[144],"demonstrate,":[146],"simulation,":[148],"framework\u2019s":[150],"capabilities":[151],"discover":[153],"missing":[154],"skills":[156],"react":[158],"promptly":[159],"safety-critical":[161],"environments,":[162],"such":[163],"as":[164],"scattered":[165],"stepping":[166],"stones":[167],"rebars.":[169]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-11-28T00:00:00"}