{"id":"https://openalex.org/W4401607627","doi":"https://doi.org/10.1109/lra.2024.3443501","title":"LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning","display_name":"LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-Based Planning","publication_year":2024,"publication_date":"2024-08-15","ids":{"openalex":"https://openalex.org/W4401607627","doi":"https://doi.org/10.1109/lra.2024.3443501"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2024.3443501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2024.3443501","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085089494","display_name":"Zeyu Feng","orcid":"https://orcid.org/0000-0002-6069-7060"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Zeyu Feng","raw_affiliation_strings":["Department of Computer Science, School of Computing, National University of Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-6069-7060","affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045726084","display_name":"Hao Luan","orcid":"https://orcid.org/0000-0001-6885-1504"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Hao Luan","raw_affiliation_strings":["Department of Computer Science, School of Computing, National University of Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-6885-1504","affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108970233","display_name":"Pranav Goyal","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Pranav Goyal","raw_affiliation_strings":["Department of Computer Science, School of Computing, National University of Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066073375","display_name":"Harold Soh","orcid":"https://orcid.org/0000-0002-3278-0035"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Harold Soh","raw_affiliation_strings":["Department of Computer Science, School of Computing, National University of Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-3278-0035","affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":{"value":2495,"currency":"USD","value_usd":2495},"apc_paid":null,"fwci":0.9203,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78971238,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":"9","issue":"10","first_page":"8571","last_page":"8578"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/diffusion","display_name":"Diffusion","score":0.5911222100257874},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5421292781829834},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09984046220779419}],"concepts":[{"id":"https://openalex.org/C69357855","wikidata":"https://www.wikidata.org/wiki/Q163214","display_name":"Diffusion","level":2,"score":0.5911222100257874},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5421292781829834},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09984046220779419},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2024.3443501","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2024.3443501","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320696","display_name":"Agency for Science, Technology and Research","ror":"https://ror.org/036wvzt09"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1501856433","https://openalex.org/W2013035813","https://openalex.org/W2015810892","https://openalex.org/W2023808162","https://openalex.org/W2116341502","https://openalex.org/W2124623089","https://openalex.org/W2141088850","https://openalex.org/W2549200707","https://openalex.org/W2594675090","https://openalex.org/W2604314403","https://openalex.org/W2604825101","https://openalex.org/W2810178509","https://openalex.org/W2963149920","https://openalex.org/W3046650501","https://openalex.org/W3205027972","https://openalex.org/W3205399766","https://openalex.org/W3213843225","https://openalex.org/W4312293341","https://openalex.org/W4379251942","https://openalex.org/W4385063004","https://openalex.org/W4385403811","https://openalex.org/W6604128582","https://openalex.org/W6679045638","https://openalex.org/W6752155926","https://openalex.org/W6779823529","https://openalex.org/W6786375611","https://openalex.org/W6790722625","https://openalex.org/W6795288823","https://openalex.org/W6799926150","https://openalex.org/W6838483015","https://openalex.org/W6838810323","https://openalex.org/W6839052650","https://openalex.org/W6840815571","https://openalex.org/W6844364769","https://openalex.org/W6847081674","https://openalex.org/W6853034412","https://openalex.org/W6854603712","https://openalex.org/W6862505574"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032"],"abstract_inverted_index":{"Operating":[0],"effectively":[1],"in":[2,107],"complex":[3],"environments":[4],"while":[5],"complying":[6],"with":[7,22],"specified":[8,64],"constraints":[9],"is":[10,116],"crucial":[11],"for":[12],"the":[13,54,58,79,114],"safe":[14],"and":[15,23,40,110,128],"successful":[16],"deployment":[17],"of":[18,57],"robots":[19],"that":[20,36,52,113,121,124],"interact":[21],"operate":[24],"around":[25],"people.":[26],"In":[27],"this":[28],"letter,":[29],"we":[30],"focus":[31],"on":[32],"generating":[33],"long-horizon":[34],"trajectories":[35,120],"adhere":[37],"to":[38,93,95,118],"static":[39],"temporally-extended":[41],"constraints/instructions":[42],"at":[43],"test":[44],"time.":[45],"We":[46],"propose":[47],"a":[48,72],"data-driven":[49],"diffusion-based":[50],"framework,LTLDoG,":[51],"modifies":[53],"inference":[55],"steps":[56,81],"reverse":[59],"process":[60],"given":[61],"an":[62],"instruction":[63],"using":[65,82],"finite":[66],"linear":[67],"temporal":[68],"logic":[69],"($\\text":[70],"{LTL}_{f}$).LTLDoGleverages":[71],"satisfaction":[73],"value":[74,87],"function":[75,88],"on$\\text":[76],"{LTL}_{f}$and":[77],"guides":[78],"sampling":[80],"its":[83],"gradient":[84],"field.":[85],"This":[86],"can":[89],"also":[90],"be":[91],"trained":[92],"generalize":[94],"new":[96],"instructions":[97],"not":[98],"observed":[99],"during":[100],"training,":[101],"enabling":[102],"flexible":[103],"test-time":[104],"adaptability.":[105],"Experiments":[106],"robot":[108],"navigation":[109],"manipulation":[111],"illustrate":[112],"method":[115],"able":[117],"generate":[119],"satisfy":[122],"formulae":[123],"specify":[125],"obstacle":[126],"avoidance":[127],"visitation":[129],"sequences.":[130]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2024-08-16T00:00:00"}