{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:34:36Z","timestamp":1730255676884,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"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":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10610942","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"14272-14278","source":"Crossref","is-referenced-by-count":0,"title":["Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications"],"prefix":"10.1109","author":[{"given":"Zikang","family":"Xiong","sequence":"first","affiliation":[{"name":"Purdue University,Computer Science Department,IN,USA,47906"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lawson","sequence":"additional","affiliation":[{"name":"Purdue University,Computer Science Department,IN,USA,47906"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe","family":"Eappen","sequence":"additional","affiliation":[{"name":"Purdue University,Computer Science Department,IN,USA,47906"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed H.","family":"Qureshi","sequence":"additional","affiliation":[{"name":"Purdue University,Computer Science Department,IN,USA,47906"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[{"name":"Purdue University,Computer Science Department,IN,USA,47906"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2014.X.039"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206234"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"ref4","article-title":"A composable specification language for reinforcement learning tasks","volume":"32","author":"Jothimurugan","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12440"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-16336-4_11"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i9.16975"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196796"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6756"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3185384"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-05961-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/507"},{"key":"ref20","first-page":"1889","article-title":"Trust region policy optimization","volume-title":"International conference on machine learning","author":"Schulman"},{"key":"ref21","first-page":"22","article-title":"Constrained policy optimization","volume-title":"International conference on machine learning","author":"Achiam"},{"journal-title":"Proximal policy optimization algorithms","year":"2017","author":"Schulman","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/02783649221082115"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-66723-8_26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152817"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2016.1168317"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981382"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793889"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022672621406"},{"journal-title":"Variance reduction for policy gradient with action-dependent factorized baselines","year":"2018","author":"Wu","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"ref32","first-page":"9133","article-title":"Responsive safety in reinforcement learning by pid lagrangian methods","volume-title":"International Conference on Machine Learning","author":"Stooke"},{"journal-title":"Faster segment anything: Towards lightweight sam for mobile applications","year":"2023","author":"Zhang","key":"ref33"},{"journal-title":"Mobilevit: light-weight, general-purpose, and mobile-friendly vision transformer","year":"2021","author":"Mehta","key":"ref34"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/34.368173"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361007"},{"key":"ref38","first-page":"1312","article-title":"Universal value function approximators","volume-title":"International conference on machine learning","author":"Schaul"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2024,5,13]]},"location":"Yokohama, Japan","end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10610942.pdf?arnumber=10610942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T05:22:59Z","timestamp":1723267379000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10610942\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10610942","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}