{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:32:04Z","timestamp":1777390324418,"version":"3.51.4"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001348","name":"Agency for Science, Technology and Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001348","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Robotics Programme","award":["M23NBK0053"],"award-info":[{"award-number":["M23NBK0053"]}]},{"name":"Google South Asia & Southeast Asia Award"},{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Medium Sized Center for Advanced Robotics Technology Innovation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1109\/lra.2024.3443501","type":"journal-article","created":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T17:47:25Z","timestamp":1723744045000},"page":"8571-8578","source":"Crossref","is-referenced-by-count":4,"title":["LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6069-7060","authenticated-orcid":false,"given":"Zeyu","family":"Feng","sequence":"first","affiliation":[{"name":"Department of Computer Science, School of Computing, National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6885-1504","authenticated-orcid":false,"given":"Hao","family":"Luan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, School of Computing, National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pranav","family":"Goyal","sequence":"additional","affiliation":[{"name":"Department of Computer Science, School of Computing, National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3278-0035","authenticated-orcid":false,"given":"Harold","family":"Soh","sequence":"additional","affiliation":[{"name":"Department of Computer Science, School of Computing, National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"9902","article-title":"Planning with diffusion for flexible behavior synthesis","volume-title":"Proc. Int. Conf. Mach. Learn.","volume":"162","author":"Janner","year":"2022"},{"key":"ref2","article-title":"Is conditional generative modeling all you need for decision making?","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Ajay","year":"2023"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2023.xix.026"},{"key":"ref4","first-page":"2256","article-title":"Deep unsupervised learning using nonequilibrium thermodynamics","volume-title":"Proc. 32nd Int. Conf. Mach. Learn.","author":"Sohl-Dickstein","year":"2015"},{"key":"ref5","first-page":"6840","article-title":"Denoising diffusion probabilistic models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Ho","year":"2020"},{"key":"ref6","article-title":"Score-based generative modeling through stochastic differential equations","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Song","year":"2021"},{"key":"ref7","article-title":"SafeDiffuser: Safe planning with diffusion probabilistic models","author":"Xiao","year":"2023"},{"key":"ref8","article-title":"Trajectory generation, control, and safety with denoising diffusion probabilistic models","volume-title":"Proc. ICML Workshop New Front. Learn. Control Dyn. Syst.","author":"Botteghi"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1162\/NECO_a_00142"},{"key":"ref11","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref13","article-title":"Diffusion posterior sampling for general noisy inverse problems","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Chung","year":"2023"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1198\/jasa.2011.tm11181"},{"key":"ref15","first-page":"14890","article-title":"Dont pour cereal into coffee: Differentiable temporal logic for temporal action segmentation","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Xu","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/02783649221082115"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2005.1555942"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2005605"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/189"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v28i1.13908"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561952"},{"key":"ref22","first-page":"10497","article-title":"LTL2Action: Generalizing LTL instructions for multi-task RL","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Vaezipoor","year":"2021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93417-4_38"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00071-5"},{"key":"ref25","first-page":"342","article-title":"Planning with temporally extended goals using heuristic search","volume-title":"Proc. Int. Conf. Automated Plan. Scheduling","author":"Baier","year":"2006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.11058"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3291463"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/507"},{"key":"ref30","first-page":"452","article-title":"Teaching multiple tasks to an RL agent using LTL","volume-title":"Proc. Int. Conf. Auton. Agents Multiagent Syst.","author":"Icarte","year":"2018"},{"key":"ref31","first-page":"17690","article-title":"Policy optimization with linear temporal logic constraints","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Voloshin","year":"2022"},{"key":"ref32","first-page":"32483","article-title":"Loss-guided diffusion models for plug-and-play controllable generation","volume-title":"Proc. Int. Conf. Mach. Learn.","volume":"202","author":"Song","year":"2023"},{"key":"ref33","first-page":"8780","article-title":"Diffusion models beat GANs on image synthesis","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"34","author":"Dhariwal","year":"2021"},{"key":"ref34","article-title":"Classifier-free diffusion guidance","volume-title":"Proc. NeurIPS 2021 Workshop Deep Generative Models Downstream Appl.","author":"Ho","year":"2021"},{"key":"ref35","first-page":"14938","article-title":"Robust compressed sensing MRI with deep generative priors","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"34","author":"Jalal","year":"2021"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.media.2022.102479"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.01209"},{"key":"ref38","first-page":"25683","article-title":"Improving diffusion models for inverse problems using manifold constraints","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Chung","year":"2022"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2016.11.007"},{"key":"ref40","article-title":"Behavioral refinement via interpolant-based policy diffusion","volume-title":"Proc. Robot.: Sci. Syst.","author":"Chen","year":"2024"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7083369\/10638067\/10637680.pdf?arnumber=10637680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T19:35:36Z","timestamp":1734982536000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10637680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10]]},"references-count":40,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/lra.2024.3443501","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10]]}}}