{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T10:28:55Z","timestamp":1763202535516},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"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":[[2021,5,30]]},"DOI":"10.1109\/icra48506.2021.9561952","type":"proceedings-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:28:35Z","timestamp":1634689715000},"source":"Crossref","is-referenced-by-count":10,"title":["Embedding Symbolic Temporal Knowledge into Deep Sequential Models"],"prefix":"10.1109","author":[{"given":"Yaqi","family":"Xie","sequence":"first","affiliation":[]},{"given":"Fan","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Harold","family":"Soh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref38","article-title":"Graph representations for higher-order logic and theorem proving","author":"paliwal","year":"2019","journal-title":"arXiv preprint arXiv 1905 10520"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1150"},{"key":"ref32","article-title":"Learning continuous semantic representations of symbolic expressions","author":"allamanis","year":"2017","journal-title":"ICML"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v30i1.10362","article-title":"Character-aware neural language models","author":"kim","year":"2016","journal-title":"AAAI"},{"key":"ref30","article-title":"A semantic loss function for deep learning with symbolic knowledge","author":"xu","year":"2018","journal-title":"ICML"},{"key":"ref37","article-title":"Premise selection for theorem proving by deep graph embedding","author":"mingzhe wang","year":"2017","journal-title":"NIPS"},{"key":"ref36","article-title":"Mathematical reasoning in latent space","author":"lee","year":"2020","journal-title":"ICLRE"},{"key":"ref35","article-title":"Long short-term memory over recursive structures","author":"zhu","year":"2015","journal-title":"ICML"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/S15-1002"},{"key":"ref28","article-title":"Semi-supervised classification with graph convolutional networks","author":"kipf","year":"2017","journal-title":"ICLRE"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2018.03.022"},{"key":"ref29","article-title":"Embedding symbolic knowledge into deep networks","author":"xie","year":"2019","journal-title":"NeurIPS"},{"key":"ref2","article-title":"Attention is all you need","author":"vaswani","year":"2017","journal-title":"NIPS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2014.2388226"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00071-5"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v31i1.11058","article-title":"Non-deterministic planning with temporally extended goals: Ltl over finite and infinite traces","author":"camacho","year":"2017","journal-title":"AAAI"},{"key":"ref21","article-title":"Planning with first-order temporally extended goals using heuristic search","author":"baier","year":"2006","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.11.021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.11.011"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1609\/icaps.v28i1.13908","article-title":"Finite LTL synthesis as planning","author":"camacho","year":"2018","journal-title":"ICAPS"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/189"},{"key":"ref50","article-title":"Embedding symbolic temporal knowledge into deep sequential models: Online appendix","author":"xie","year":"2021"},{"key":"ref51","article-title":"Generative adversarial imitation learning","author":"ho","year":"2016","journal-title":"NIPS"},{"key":"ref10","article-title":"Logically- correct reinforcement learning","author":"mohammadhosein hasanbeig","year":"2018","journal-title":"arXiv preprint arXiv 1801 08639"},{"key":"ref11","article-title":"Environment-independent task specifications via gltl","author":"littman","year":"2017","journal-title":"arXiv preprint arXiv 1704 04341"},{"key":"ref40","article-title":"Approximately correct learning in stochastic games with temporal logic specifications","author":"wen","year":"2016","journal-title":"IJCAI"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2978386"},{"key":"ref13","article-title":"Graph neural networks: A review of methods and applications","author":"zhou","year":"2018","journal-title":"arXiv preprint arXiv 1812 08942"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/331"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"ref17","author":"baier","year":"2008","journal-title":"Principles of Model Checking (Representation and Mind Series)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40537-2_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nature24270"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919866905"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref7","article-title":"Where’s waldoƒ sensor-based temporal logic motion planning","author":"kress-gazit","year":"2007","journal-title":"ICRA"},{"key":"ref49","article-title":"Adam: A method for stochastic optimization","author":"kingma","year":"2015","journal-title":"ICLRE"},{"key":"ref9","article-title":"Learning from demonstrations with high-level side information","author":"min wen","year":"2017","journal-title":"IJCAI"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1162"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref48","article-title":"An empirical evaluation of generic convolutional and recurrent networks for sequence modeling","author":"bai","year":"2018","journal-title":"arXiv preprint arXiv 1803 01271"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref42","article-title":"Teaching multiple tasks to an rl agent using ltl","author":"toro icarte","year":"2018","journal-title":"AAMAS"},{"key":"ref41","article-title":"Reinforcement learning with temporal logic rewards","author":"xiao li","year":"2017","journal-title":"IROS"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00095"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.004"}],"event":{"name":"2021 IEEE International Conference on Robotics and Automation (ICRA)","location":"Xi'an, China","start":{"date-parts":[[2021,5,30]]},"end":{"date-parts":[[2021,6,5]]}},"container-title":["2021 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9560720\/9560666\/09561952.pdf?arnumber=9561952","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T22:48:20Z","timestamp":1673563700000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9561952\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,30]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/icra48506.2021.9561952","relation":{},"subject":[],"published":{"date-parts":[[2021,5,30]]}}}