{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:40:21Z","timestamp":1757781621293,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100007472","name":"University of Kentucky","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007472","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,1]]},"DOI":"10.1109\/iros55552.2023.10342233","type":"proceedings-article","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T19:17:55Z","timestamp":1702495075000},"page":"354-360","source":"Crossref","is-referenced-by-count":2,"title":["Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions"],"prefix":"10.1109","author":[{"given":"Benton","family":"Clark","sequence":"first","affiliation":[{"name":"University of Kentucky,Department of Mechanical and Aerospace Engineering,Lexington,KY,United States,40506"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Varun","family":"Hariprasad","sequence":"additional","affiliation":[{"name":"Paul Laurence Dunbar High School,Lexington,KY,United States,40513"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan A.","family":"Poonawala","sequence":"additional","affiliation":[{"name":"University of Kentucky,Department of Mechanical and Aerospace Engineering,Lexington,KY,United States,40506"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1142\/9789814354301_0005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.769906"},{"issue":"1","key":"ref3","first-page":"1334","article-title":"End-to-end training of deep visuomotor policies","volume":"17","author":"Levine","year":"2016","journal-title":"The Journal of Machine Learning Research"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2015.2509024"},{"volume-title":"Deep Learning, ser. Adaptive computation and machine learning","year":"2016","author":"Goodfellow","key":"ref5"},{"key":"ref6","article-title":"Neural lyapunov control","volume":"32","author":"Chang","year":"2019","journal-title":"Advances in neural information processing systems"},{"article-title":"Verified path following using neural control lyapunov functions","volume-title":"6th Annual Conference on Robot Learning","author":"Reed","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109509"},{"volume-title":"Reachable polyhedral marching (rpm): An exact analysis tool for deep-learned control systems","year":"2022","author":"Vincent","key":"ref9"},{"key":"ref10","first-page":"9","volume-title":"Kinematics, Localization and Control of Differential Drive Mobile Robot","author":"Malu","year":"2014"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00994018"},{"key":"ref12","article-title":"Habitat 2.0: Training home assistants to rearrange their habitat","author":"Szot","year":"2021","journal-title":"Advances in Neural Information Processing Systems (NeurIPS)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00943"},{"key":"ref14","article-title":"Habitat-matterport 3d dataset (HM3d): 1000 large-scale 3d environments for embodied AI","volume-title":"Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 2)","author":"Ramakrishnan","year":"2021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561788"}],"event":{"name":"2023 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2023,10,1]]},"location":"Detroit, MI, USA","end":{"date-parts":[[2023,10,5]]}},"container-title":["2023 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10341341\/10341342\/10342233.pdf?arnumber=10342233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T00:27:24Z","timestamp":1703032044000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10342233\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,1]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iros55552.2023.10342233","relation":{},"subject":[],"published":{"date-parts":[[2023,10,1]]}}}