{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,27]],"date-time":"2024-12-27T05:16:19Z","timestamp":1735276579462,"version":"3.32.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,14]]},"DOI":"10.1109\/iros58592.2024.10802177","type":"proceedings-article","created":{"date-parts":[[2024,12,25]],"date-time":"2024-12-25T19:17:39Z","timestamp":1735154259000},"page":"13734-13740","source":"Crossref","is-referenced-by-count":0,"title":["Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods"],"prefix":"10.1109","author":[{"given":"Anand","family":"Balakrishnan","sequence":"first","affiliation":[{"name":"University of Southern California,Los Angeles,California,USA"}]},{"given":"Merve","family":"Atasever","sequence":"additional","affiliation":[{"name":"University of Southern California,Los Angeles,California,USA"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"University of Southern California,Los Angeles,California,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32552-1_7"},{"key":"ref3","article-title":"Robust constrained model predictive control","volume-title":"Thesis","author":"Richards","year":"2005"},{"volume-title":"Model Predictive Control.","year":"2013","author":"Camacho","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2023.2168134"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9654841"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2945329"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-053018-023717"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.195"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"volume-title":"Principles of Model Checking.","year":"2008","author":"Baier","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147796"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2814631"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"issue":"153","key":"ref31","first-page":"1","article-title":"Automatic Differentiation in Machine Learning: A Survey","volume":"18","author":"Baydin","year":"2018","journal-title":"Journal of Machine Learning Research"},{"key":"ref32","article-title":"PyTorch: An Imperative Style, High-Performance Deep Learning Library","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"Paszke","year":"2019"},{"issue":"9","key":"ref33","article-title":"Compiling Machine Learning Programs via High-Level Tracing","volume":"4","author":"Frostig","year":"2018","journal-title":"Systems for Machine Learning"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-66723-8_26"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858460"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_3"},{"issue":"3","key":"ref37","first-page":"321","article-title":"Semiring Frameworks and Algorithms for Shortest-Distance Problems","volume":"7","author":"Mohri","year":"2002","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0383-3"},{"key":"ref40","first-page":"277","article-title":"Model-Predictive Control via Cross-Entropy and Gradient-Based Optimization","volume-title":"Proceedings of the 2nd Conference on Learning for Dynamics and Control","author":"Bharadhwaj"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"year":"2023","key":"ref42","article-title":"Gurobi Optimizer Reference Manual"}],"event":{"name":"2024 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2024,10,14]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2024,10,18]]}},"container-title":["2024 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10801246\/10801290\/10802177.pdf?arnumber=10802177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,26]],"date-time":"2024-12-26T06:54:50Z","timestamp":1735196090000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10802177\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,14]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/iros58592.2024.10802177","relation":{},"subject":[],"published":{"date-parts":[[2024,10,14]]}}}