{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:37:22Z","timestamp":1781239042963,"version":"3.54.1"},"reference-count":26,"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"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10160953","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"1320-1326","source":"Crossref","is-referenced-by-count":8,"title":["Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains"],"prefix":"10.1109","author":[{"given":"Jasmine Jerry","family":"Aloor","sequence":"first","affiliation":[{"name":"Indian Institute of Technology, Carnegie Mellon University,Department of Aerospace Engineering,Kharagpur,WB,India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jay","family":"Patrikar","sequence":"additional","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Parv","family":"Kapoor","sequence":"additional","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean","family":"Oh","sequence":"additional","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Scherer","sequence":"additional","affiliation":[{"name":"Robotics Institute, Carnegie Mellon University,Pittsburgh,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3092676"},{"key":"ref12","article-title":"Learning from demonstrations using signal temporal logic","author":"puranic","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref15","first-page":"1326","article-title":"Learning a risk-aware trajectory planner from demonstrations using logic monitor","author":"li","year":"2022","journal-title":"Conference on Robot Learning"},{"key":"ref14","article-title":"Stl2vec: Signal temporal logic embeddings for control synthesis with recurrent neural networks","author":"hashimoto","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460811"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref1","article-title":"An invitation to imitation","author":"bagnell","year":"2015","journal-title":"CARNEGIE-MELLON UNIV PITTSBURGH PA ROBOTICS INST Tech Rep"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3049917"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867345"},{"key":"ref19","article-title":"Model-free reinforcement learning for optimal control of markovdecision processes under signal temporal logic specifications","author":"kalagarla","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9811990"},{"key":"ref24","article-title":"An empirical evaluation of generic convolutional and recurrent networks for sequence modeling","author":"bai","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref23","article-title":"Goal-conditioned imitation learning","author":"ding","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref26","first-page":"564","article-title":"Rtamt: Online robustness monitors from stl","author":"ni?kovi?","year":"0","journal-title":"International Symposium on Automated Technology for Verification and Analysis"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1061\/9780784482292.012"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref22","article-title":"Airplane Flying Handbook: FAA-H-8083-3C","year":"2021","journal-title":"Aviation Supplies & Academics Incorporated"},{"key":"ref21","author":"patrikar","year":"2021","journal-title":"Trajair A general aviation trajectory dataset"},{"key":"ref8","article-title":"Model-based reinforcement learning from signal temporal logic specifications","author":"kapoor","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref7","first-page":"432","article-title":"Back-propagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods","author":"leung","year":"0","journal-title":"International Workshop on the Algorithmic Foundations of Robotics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ITA50056.2020.9244969"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/11871842_29","article-title":"Bandit Based Monte-Carlo Planning","author":"kocsis","year":"2006","journal-title":"Machine Learning ECML 2006"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1038\/nature16961","article-title":"Mastering the game of go with deep neural networks and tree search","volume":"529","author":"silver","year":"2016","journal-title":"Nature"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9811707"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.004"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","location":"London, United Kingdom","start":{"date-parts":[[2023,5,29]]},"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\/10160953.pdf?arnumber=10160953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T17:29:58Z","timestamp":1690219798000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10160953\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10160953","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}