{"id":"https://openalex.org/W4395017635","doi":"https://doi.org/10.1109/access.2024.3392289","title":"End-to-End Path Planning Under Linear Temporal Logic Specifications","display_name":"End-to-End Path Planning Under Linear Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4395017635","doi":"https://doi.org/10.1109/access.2024.3392289"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3392289","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3392289","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10506528.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10506528.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113184382","display_name":"Chaeeun Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Chaeeun Yang","raw_affiliation_strings":["Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South Korea","institution_ids":["https://openalex.org/I146429904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110955393","display_name":"Sojeong Yoon","orcid":null},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sojeong Yoon","raw_affiliation_strings":["Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South Korea","institution_ids":["https://openalex.org/I146429904"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034975936","display_name":"Kyunghoon Cho","orcid":"https://orcid.org/0000-0002-4679-6660"},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kyunghoon Cho","raw_affiliation_strings":["Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-4679-6660","affiliations":[{"raw_affiliation_string":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon, South Korea","institution_ids":["https://openalex.org/I146429904"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5113184382"],"corresponding_institution_ids":["https://openalex.org/I146429904"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.4635,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.59992682,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"12","issue":null,"first_page":"57410","last_page":"57423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9905999898910522,"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/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9776999950408936,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7444433569908142},{"id":"https://openalex.org/keywords/autoencoder","display_name":"Autoencoder","score":0.6367436647415161},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5779671669006348},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.5758053660392761},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5497499108314514},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5464076995849609},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5386471748352051},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5230732560157776},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.47644904255867004},{"id":"https://openalex.org/keywords/gaussian-process","display_name":"Gaussian process","score":0.4732416570186615},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.45457762479782104},{"id":"https://openalex.org/keywords/trajectory-optimization","display_name":"Trajectory optimization","score":0.41310393810272217},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.3174269199371338},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.30621129274368286},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.25381892919540405},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.20395871996879578},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19730740785598755},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1216147243976593}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7444433569908142},{"id":"https://openalex.org/C101738243","wikidata":"https://www.wikidata.org/wiki/Q786435","display_name":"Autoencoder","level":3,"score":0.6367436647415161},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5779671669006348},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.5758053660392761},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5497499108314514},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5464076995849609},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5386471748352051},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5230732560157776},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.47644904255867004},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.4732416570186615},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.45457762479782104},{"id":"https://openalex.org/C173246807","wikidata":"https://www.wikidata.org/wiki/Q7833062","display_name":"Trajectory optimization","level":3,"score":0.41310393810272217},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.3174269199371338},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.30621129274368286},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.25381892919540405},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.20395871996879578},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19730740785598755},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1216147243976593},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2024.3392289","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3392289","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10506528.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:cc2f7cfae7b549ff9a0557428bbbb508","is_oa":true,"landing_page_url":"https://doaj.org/article/cc2f7cfae7b549ff9a0557428bbbb508","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 57410-57423 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3392289","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3392289","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10506528.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.4399999976158142},{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4000000059604645}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320321363","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4395017635.pdf","grobid_xml":"https://content.openalex.org/works/W4395017635.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1488782959","https://openalex.org/W1498432697","https://openalex.org/W1540883472","https://openalex.org/W1967294943","https://openalex.org/W1970269621","https://openalex.org/W1971086298","https://openalex.org/W1986417217","https://openalex.org/W1995626426","https://openalex.org/W2000359213","https://openalex.org/W2045481323","https://openalex.org/W2066953328","https://openalex.org/W2095901198","https://openalex.org/W2104241562","https://openalex.org/W2117927826","https://openalex.org/W2124623089","https://openalex.org/W2130942839","https://openalex.org/W2131064738","https://openalex.org/W2141789581","https://openalex.org/W2233446961","https://openalex.org/W2792764867","https://openalex.org/W3028769608","https://openalex.org/W3090725241","https://openalex.org/W3133653368","https://openalex.org/W3134179334","https://openalex.org/W3153832461","https://openalex.org/W3201276757","https://openalex.org/W3206295144","https://openalex.org/W3206486597","https://openalex.org/W4205757878","https://openalex.org/W4281694060","https://openalex.org/W4285505562","https://openalex.org/W4312396550","https://openalex.org/W4312994663","https://openalex.org/W4324290363","https://openalex.org/W4383109325","https://openalex.org/W4385245566","https://openalex.org/W6687045409","https://openalex.org/W6749825310","https://openalex.org/W6769043036","https://openalex.org/W6838597101","https://openalex.org/W6843475265"],"related_works":["https://openalex.org/W3013693939","https://openalex.org/W2566616303","https://openalex.org/W2159052453","https://openalex.org/W3131327266","https://openalex.org/W2734887215","https://openalex.org/W2803255133","https://openalex.org/W4297051394","https://openalex.org/W2752972570","https://openalex.org/W4386815338","https://openalex.org/W2145836866"],"abstract_inverted_index":{"This":[0,57,102,192],"paper":[1],"presents":[2],"a":[3,36,87,111,150,209],"novel":[4],"deep":[5,187,201],"learning":[6,202],"framework":[7,82],"for":[8,61,204],"robotic":[9,205],"path":[10,77,189,206],"planning":[11,190],"that":[12,44],"seamlessly":[13],"integrates":[14],"Linear":[15],"Temporal":[16],"Logic":[17],"(LTL)":[18],"with":[19,53],"trajectory":[20,127,140,179],"optimization":[21,128],"to":[22,40,75,80,137,155],"meet":[23],"mission":[24,55,182],"specifications":[25],"efficiently.":[26],"Our":[27],"approach":[28],"innovates":[29],"on":[30],"several":[31],"fronts:":[32],"First,":[33],"by":[34,149],"training":[35],"neural":[37],"network":[38,67],"end-to-end":[39],"generate":[41],"control":[42,108,119,145],"sequences":[43,109],"are":[45],"not":[46],"only":[47],"cost-effective":[48],"but":[49],"also":[50],"fully":[51],"compliant":[52],"LTL-defined":[54],"objectives.":[56],"negates":[58],"the":[59,84,97,104,123,168,195,214],"need":[60],"generating":[62],"traditional":[63],"automatons,":[64],"as":[65],"our":[66,81,132,172],"is":[68,83,93],"capable":[69],"of":[70,86,100,106,113,126,171,197],"directly":[71],"interpreting":[72],"LTL":[73,199],"formulas":[74],"guide":[76],"planning.":[78],"Key":[79],"use":[85],"Conditional":[88],"Variational":[89],"Autoencoder":[90],"(CVAE),":[91],"which":[92],"adept":[94],"at":[95],"identifying":[96],"optimal":[98,144],"distribution":[99],"trajectories.":[101],"enables":[103],"extraction":[105],"practical":[107],"through":[110,164],"process":[112],"sampling":[114],"latent":[115],"variables":[116],"and":[117,158,181],"inferring":[118],"outputs,":[120],"thus":[121],"addressing":[122],"critical":[124],"challenge":[125],"under":[129],"uncertainty.":[130],"Moreover,":[131],"model":[133],"incorporates":[134],"transformer":[135],"networks":[136],"refine":[138],"these":[139],"distributions":[141],"into":[142],"nearly":[143],"sequences,":[146],"further":[147],"enhanced":[148],"Gaussian":[151],"Mixture":[152],"Model":[153],"(GMM)":[154],"manage":[156],"uncertainty":[157],"fine-tune":[159],"adjustments":[160],"effectively.":[161],"Empirical":[162],"validation":[163],"comparative":[165],"simulations":[166],"showcases":[167],"superior":[169],"performance":[170],"model.":[173],"It":[174],"achieves":[175],"significant":[176,210],"advancements":[177],"in":[178,200,213],"optimality":[180],"success":[183],"rates":[184],"over":[185],"existing":[186],"learning-based":[188],"strategies.":[191],"work":[193],"underscores":[194],"potential":[196],"integrating":[198],"models":[203],"planning,":[207],"marking":[208],"leap":[211],"forward":[212],"domain.":[215]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}