{"id":"https://openalex.org/W4412544269","doi":"https://doi.org/10.1007/978-3-031-98685-7_12","title":"Automatic Synthesis of\u00a0Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications","display_name":"Automatic Synthesis of\u00a0Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412544269","doi":"https://doi.org/10.1007/978-3-031-98685-7_12"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-98685-7_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-98685-7_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98685-7_12.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98685-7_12.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104355054","display_name":"Scott Williams","orcid":"https://orcid.org/0009-0001-8620-1297"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Samuel Williams","raw_affiliation_strings":["University of Southern California, Los Angeles, CA, 90310, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, CA, 90310, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy Deshmukh","raw_affiliation_strings":["University of Southern California, Los Angeles, CA, 90310, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, CA, 90310, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5104355054"],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45105566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"249","last_page":"273"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9980000257492065,"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/computer-science","display_name":"Computer science","score":0.7409309148788452},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6242259740829468},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5102002620697021},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42925435304641724},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31185588240623474}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7409309148788452},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6242259740829468},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5102002620697021},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42925435304641724},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31185588240623474}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-98685-7_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-98685-7_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98685-7_12.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-98685-7_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-98685-7_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-98685-7_12.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1207027810","display_name":null,"funder_award_id":"CCF-SHF-1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1889334499","display_name":"FMitF: A Novel Framework for Learning Formal Abstractions and Causal Relations from Temporal Behaviors","funder_award_id":"1837131","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2091120815","display_name":null,"funder_award_id":"FMitF-1837131","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4185534415","display_name":"CAREER: A Framework for Logic-based Requirements to guide Safe Deep Learning for Autonomous Mobile Systems","funder_award_id":"2048094","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4851802478","display_name":null,"funder_award_id":"SHF-2048094","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5876574054","display_name":null,"funder_award_id":"1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6165832738","display_name":"SLES: A Neurosymbolic Approach for Safe Multi-Agent Systems","funder_award_id":"2417075","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6708180324","display_name":"Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems","funder_award_id":"2039087","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7435669594","display_name":null,"funder_award_id":"CNS-2039087","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8535605147","display_name":null,"funder_award_id":"CNS-1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320308204","display_name":"Northrop Grumman","ror":"https://ror.org/05kewds18"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412544269.pdf","grobid_xml":"https://content.openalex.org/works/W4412544269.grobid-xml"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1970269621","https://openalex.org/W1995626426","https://openalex.org/W2000086176","https://openalex.org/W2009592184","https://openalex.org/W2018380024","https://openalex.org/W2023808162","https://openalex.org/W2026290247","https://openalex.org/W2041701185","https://openalex.org/W2044323243","https://openalex.org/W2044894195","https://openalex.org/W2049399166","https://openalex.org/W2065297540","https://openalex.org/W2073548775","https://openalex.org/W2083098238","https://openalex.org/W2092884371","https://openalex.org/W2104241562","https://openalex.org/W2109656638","https://openalex.org/W2144588269","https://openalex.org/W2148446974","https://openalex.org/W2151958719","https://openalex.org/W2152495729","https://openalex.org/W2158970477","https://openalex.org/W2159461839","https://openalex.org/W2162991084","https://openalex.org/W2482392012","https://openalex.org/W2487779201","https://openalex.org/W2587159109","https://openalex.org/W2610816878","https://openalex.org/W2621540998","https://openalex.org/W2769498435","https://openalex.org/W2781589682","https://openalex.org/W2792781634","https://openalex.org/W2807035426","https://openalex.org/W2810178509","https://openalex.org/W2841721725","https://openalex.org/W2905277694","https://openalex.org/W2909686384","https://openalex.org/W2912640545","https://openalex.org/W2913775679","https://openalex.org/W2962787639","https://openalex.org/W2963657380","https://openalex.org/W2968608911","https://openalex.org/W3003747652","https://openalex.org/W3023616698","https://openalex.org/W3034174753","https://openalex.org/W3046650501","https://openalex.org/W3105047841","https://openalex.org/W3123076862","https://openalex.org/W3127898694","https://openalex.org/W3136316167","https://openalex.org/W3197225143","https://openalex.org/W4205649593","https://openalex.org/W4210600503","https://openalex.org/W4289921754","https://openalex.org/W4385063004","https://openalex.org/W4388692454","https://openalex.org/W4401810328"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"Abstract":[0],"Automatically":[1],"constructing":[2],"smooth":[3,42,108],"paths":[4,109],"that":[5,30,45],"satisfy":[6,49],"a":[7,11,28,41,50,58,95,131],"formal":[8],"specification":[9],"is":[10,46,89],"challenging":[12,24],"problem.":[13],"Existing":[14],"methods":[15],"struggle":[16],"to":[17,19,38,48,61,100],"scale":[18],"long":[20],"horizon":[21],"specifications":[22],"and":[23,35,71,91,93,119],"environments.":[25],"We":[26,85],"present":[27],"method":[29,88,126],"uses":[31,57],"abstraction,":[32],"model":[33],"checking,":[34],"convex":[36],"optimization":[37],"solve":[39],"for":[40,116,130],"B\u00e9zier":[43],"spline":[44],"guaranteed":[47],"Linear":[51],"Temporal":[52],"Logic":[53],"specification.":[54],"Our":[55],"approach":[56],"coarse":[59],"abstraction":[60,68],"avoid":[62],"the":[63,74,80,103,122],"state":[64,101],"explosion":[65],"of":[66,77,102,124],"other":[67],"based":[69],"methods,":[70],"successfully":[72],"avoids":[73],"computational":[75,97],"challenges":[76],"directly":[78],"optimizing":[79],"non-convex":[81],"temporal":[82],"logic":[83],"semantics.":[84],"prove":[86],"our":[87,125],"sound":[90],"complete":[92],"demonstrate":[94,121],"significant":[96],"advantage":[98],"relative":[99],"art":[104],"approaches.":[105],"Generating":[106],"such":[107],"has":[110],"natural":[111],"applications":[112],"in":[113],"path":[114,128],"planning":[115,129],"autonomous":[117],"robots,":[118],"we":[120],"applicability":[123],"on":[127],"quadrotor.":[132]},"counts_by_year":[],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}