{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,27]],"date-time":"2025-07-27T07:50:58Z","timestamp":1753602658571,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"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":[[2022,7,18]]},"DOI":"10.1109\/ijcnn55064.2022.9892304","type":"proceedings-article","created":{"date-parts":[[2022,9,30]],"date-time":"2022-09-30T19:56:04Z","timestamp":1664567764000},"page":"01-08","source":"Crossref","is-referenced-by-count":1,"title":["Integrating Symbolic Planning and Reinforcement Learning for Following Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Duo","family":"Xu","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology,Department of Electrical and Computer Engineering,GA,USA,30332"}]},{"given":"Faramarz","family":"Fekri","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology,Department of Electrical and Computer Engineering,GA,USA,30332"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Scalable rule-based representation learning for interpretable classification","volume":"34","author":"wang","year":"2021","journal-title":"Advances in neural information processing systems"},{"key":"ref38","first-page":"4817","article-title":"Sampling-based temporal logic path planning","author":"vasile","year":"0","journal-title":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1613\/jair.2113","article-title":"Learning symbolic models of stochastic domains","volume":"29","author":"hanna","year":"2007","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref32","first-page":"9191","article-title":"Visual reinforcement learning with imagined goals","volume":"31","author":"ashvin","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1038\/nature14236","article-title":"Human-level control through deep reinforcement learning","volume":"518","author":"volodymyr","year":"2015","journal-title":"Nature"},{"journal-title":"Programs with Common Sense","year":"1960","author":"mccarthy","key":"ref30"},{"key":"ref37","first-page":"10497","article-title":"Ltl2action: Generalizing ltl instructions for multi-task rl","author":"pashootan","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9635941"},{"key":"ref35","first-page":"3788","article-title":"End-to-end differentiable proving","author":"rocktaschel","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.29007\/v4ch"},{"key":"ref10","first-page":"123","article-title":"From semantics to execution: Integrating action planning with reinforcement learning for robotic causal problem-solving","author":"manfred","year":"2019","journal-title":"Frontiers in Robotics and AI"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5714"},{"key":"ref12","first-page":"1515","article-title":"Automatic goal generation for reinforcement learning agents","author":"florensa","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57628-8_1"},{"key":"ref15","first-page":"346","article-title":"Towards manipulation planning with temporal logic specifications","author":"keliang","year":"0","journal-title":"2015 IEEE International Conference on Robotics and Automation (ICRA)"},{"key":"ref16","first-page":"2107","article-title":"Using reward machines for high-level task specification and decomposition in reinforcement learning","author":"icarte","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12440"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6750"},{"key":"ref19","article-title":"Temporal-logic-based reward shaping for continuing learning tasks","author":"jiang","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/880"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888918000188"},{"key":"ref27","article-title":"Environment-independent task specifications via gltl","author":"michael","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2019.XV.064"},{"journal-title":"Pybullet a python module for physics simulation for games robotics and machine learning","year":"2016","author":"coumans","key":"ref6"},{"key":"ref29","first-page":"353","article-title":"Iterative temporal motion planning for hybrid systems in partially unknown environments","author":"matthew","year":"0","journal-title":"Proceedings of the 16th International Conference on Hybrid Systems Computation and Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/840"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i09.7114"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2020\/89"},{"key":"ref2","article-title":"The logical options framework","author":"brandon","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref9","article-title":"Neural logic machines","author":"dong","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref1","first-page":"166","article-title":"Modular multitask reinforcement learning with policy sketches","author":"andreas","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref20","article-title":"A composable specification language for reinforcement learning tasks","volume":"32","author":"jothimurugan","year":"2019","journal-title":"Advances in neural information processing systems"},{"journal-title":"Introduction to Statistical Relational Learning","year":"2007","author":"koller","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v31i1.16001"},{"key":"ref42","article-title":"Modular deep reinforcement learning with temporal logic specifications","author":"yuan","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref24","article-title":"Systematic generalisation through task temporal logic and deep reinforcement learning","author":"borja","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/557"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431181"},{"key":"ref25","article-title":"Reactive task and motion planning under temporal logic specifications","author":"shen","year":"2021","journal-title":"ArXiv Preprint"}],"event":{"name":"2022 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2022,7,18]]},"location":"Padua, Italy","end":{"date-parts":[[2022,7,23]]}},"container-title":["2022 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9891857\/9889787\/09892304.pdf?arnumber=9892304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T22:57:08Z","timestamp":1667516228000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9892304\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,18]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/ijcnn55064.2022.9892304","relation":{},"subject":[],"published":{"date-parts":[[2022,7,18]]}}}