{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T06:11:18Z","timestamp":1765519878263,"version":"3.48.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11246055","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"16768-16775","source":"Crossref","is-referenced-by-count":0,"title":["Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair"],"prefix":"10.1109","author":[{"given":"Ziyi","family":"Zhou","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qian","family":"Meng","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Cornell University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ye","family":"Zhao","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8594448"},{"article-title":"Highly dynamic quadruped locomotion via whole-body impulse control and model predictive control","year":"2019","author":"Kim","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3185374"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460731"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3275384"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2015.XI.047"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196777"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551524"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341438"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812088"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/02783649221077714"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3299524"},{"key":"ref13","article-title":"Mixed-integer convex optimization for planning aggressive motions of legged robots over rough terrain","volume-title":"Ph.D. dissertation","author":"Valenzuela","year":"2016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981579"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2014.7041373"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341572"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3397528"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2016.7803371"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981539"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/Humanoids57100.2023.10375170"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2779821"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3304009"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CASE59546.2024.10711578"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_18"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref26"},{"author":"Farshidian","key":"ref27","article-title":"OCS2: An open source library for optimal control of switched systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610248"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49997.2022.9926658"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11246055.pdf?arnumber=11246055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T06:09:28Z","timestamp":1765519768000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11246055\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11246055","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}