{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:16:52Z","timestamp":1755998212864,"version":"3.37.3"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"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","award":["IIS-2024606,IIS-1723995"],"award-info":[{"award-number":["IIS-2024606,IIS-1723995"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10161201","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"12416-12422","source":"Crossref","is-referenced-by-count":6,"title":["Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks"],"prefix":"10.1109","author":[{"given":"Wenliang","family":"Liu","sequence":"first","affiliation":[{"name":"Boston University,Boston,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirai","family":"Nishioka","sequence":"additional","affiliation":[{"name":"Commonwealth School,Boston,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[{"name":"Boston University,Boston,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","first-page":"14 604","article-title":"Stlnet: Signal temporal logic enforced multivariate recurrent neural networks","volume":"33","author":"ma","year":"2020","journal-title":"Advances in neural information processing systems"},{"journal-title":"Automatic differentiation in pytorch","year":"2017","author":"paszke","key":"ref35"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867345"},{"key":"ref34","article-title":"Adam: A method for stochastic optimization","author":"kingma","year":"2014","journal-title":"ArXiv Preprint"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799279"},{"key":"ref37","first-page":"136","article-title":"Optnet: Differentiable optimization as a layer in neural networks","author":"amos","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref14","article-title":"Concrete problems in ai safety","author":"amodei","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-66723-8_26"},{"key":"ref31","volume":"1","author":"goodfellow","year":"0","journal-title":"2016 Deep learning"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref11","article-title":"Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints","author":"liu","year":"2021","journal-title":"Systems & Control Letters"},{"journal-title":"Gurobi Optimizer Reference Manual","year":"2021","author":"optimization","key":"ref33"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITA50056.2020.9244969"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968254"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref16","first-page":"308","article-title":"Tractable reinforcement learning of signal temporal logic objectives","author":"venkataraman","year":"2020","journal-title":"Learning for Dynamics and Control"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431181"},{"key":"ref18","article-title":"Deep reinforcement learning based networked control with network delays for signal temporal logic specifications","author":"ikemoto","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref24","first-page":"465","article-title":"Pilco: A model-based and data-efficient approach to policy search","author":"deisenroth","year":"0","journal-title":"Proceedings of the 28th International Conference on Machine Learning (ICML-11)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref26","first-page":"1050","article-title":"Dropout as a bayesian approximation: Representing model uncertainty in deep learning","author":"gal","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref25","first-page":"25","article-title":"Improving pilco with bayesian neural network dynamics models","volume":"4","author":"gal","year":"0","journal-title":"Data-Efficient Machine Learning workshop"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814999"},{"key":"ref22","article-title":"Continuous motion planning with temporal logic specifications using deep neural networks","author":"wang","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aay6276"},{"key":"ref28","article-title":"Safety-critical learning of robot control with temporal logic specifications","author":"cai","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref29","article-title":"Non-parametric neuro- adaptive control subject to task specifications","author":"verginis","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147692"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"journal-title":"Stanford Artificial Intelligence Laboratory","article-title":"Robotic operating system","year":"0","key":"ref40"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2023,5,29]]},"location":"London, United Kingdom","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10161201.pdf?arnumber=10161201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T17:30:37Z","timestamp":1690219837000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10161201\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10161201","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}