{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T01:45:52Z","timestamp":1770342352622,"version":"3.49.0"},"reference-count":27,"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"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11245807","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"342-349","source":"Crossref","is-referenced-by-count":1,"title":["Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability"],"prefix":"10.1109","author":[{"given":"Zhiquan","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Illinois,Urbana-Champaign,IL,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gokul","family":"Puthumanaillam","sequence":"additional","affiliation":[{"name":"University of Illinois,Urbana-Champaign,IL,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manav","family":"Vora","sequence":"additional","affiliation":[{"name":"University of Illinois,Urbana-Champaign,IL,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melkior","family":"Ornik","sequence":"additional","affiliation":[{"name":"University of Illinois,Urbana-Champaign,IL,USA,61801"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6478"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm5954"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-017-9669-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3363531"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3513036"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2923368"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.55417\/fr.2024006"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147792"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-015-9467-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697120"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304481"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3170855"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2011.2168538"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-664-1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/acs.4480020206"},{"key":"ref16","article-title":"Online learning and control synthesis for reachable paths of unknown nonlinear systems","author":"Meng","year":"2024"},{"key":"ref17","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.08.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/120903993"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402543"},{"key":"ref22","volume-title":"Introduction to real analysis","author":"Bartle","year":"2000"},{"key":"ref23","volume-title":"Nonlinear systems","author":"Khalil","year":"2002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1699"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582905"},{"key":"ref26","volume-title":"Introduction to Algorithms","author":"Cormen","year":"2022"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2963293"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","location":"Hangzhou, China","start":{"date-parts":[[2025,10,19]]},"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\/11245807.pdf?arnumber=11245807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T06:08:10Z","timestamp":1765519690000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11245807\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11245807","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}