{"id":"https://openalex.org/W4406804565","doi":"https://doi.org/10.1007/978-981-96-0789-1_26","title":"Real-Time Path Planning Under Signal Temporal Logic Specifications in\u00a0Dynamic Environment","display_name":"Real-Time Path Planning Under Signal Temporal Logic Specifications in\u00a0Dynamic Environment","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4406804565","doi":"https://doi.org/10.1007/978-981-96-0789-1_26"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-96-0789-1_26","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-96-0789-1_26","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5100396911","display_name":"Hao Zhang","orcid":"https://orcid.org/0000-0002-4527-9610"},"institutions":[{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]},{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN","ME"],"is_corresponding":false,"raw_author_name":"Hao Zhang","raw_affiliation_strings":["School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I4210110997"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068951317","display_name":"Yan Yang","orcid":"https://orcid.org/0000-0002-6134-6094"},"institutions":[{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]},{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN","ME"],"is_corresponding":true,"raw_author_name":"Yan Yang","raw_affiliation_strings":["School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I4210110997"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085199957","display_name":"Yunxu Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunxu Zhang","raw_affiliation_strings":["School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I92403157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013332171","display_name":"Baiheng Cao","orcid":"https://orcid.org/0000-0003-1755-1928"},"institutions":[{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]},{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN","ME"],"is_corresponding":false,"raw_author_name":"Baiheng Cao","raw_affiliation_strings":["School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I4210110997"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100515249","display_name":"Chang Tian","orcid":"https://orcid.org/0009-0001-4387-2971"},"institutions":[{"id":"https://openalex.org/I4210110997","display_name":"Ministry of Education","ror":"https://ror.org/01xexqx38","country_code":"ME","type":"government","lineage":["https://openalex.org/I4210110997"]},{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN","ME"],"is_corresponding":false,"raw_author_name":"Chang Tian","raw_affiliation_strings":["School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"The Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, 100083, China","institution_ids":["https://openalex.org/I4210110997"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5068951317"],"corresponding_institution_ids":["https://openalex.org/I4210110997","https://openalex.org/I92403157"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"352","last_page":"364"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":1.0,"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":1.0,"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/T10142","display_name":"Formal Methods in Verification","score":0.9968000054359436,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9937000274658203,"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.8488516807556152},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6355732679367065},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5600023865699768},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5203237533569336},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5035273432731628},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36151576042175293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29168474674224854},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17195743322372437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8488516807556152},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6355732679367065},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5600023865699768},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5203237533569336},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5035273432731628},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36151576042175293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29168474674224854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17195743322372437}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-96-0789-1_26","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-96-0789-1_26","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.41999998688697815,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1971086298","https://openalex.org/W1976930960","https://openalex.org/W2000359213","https://openalex.org/W2049399166","https://openalex.org/W2054585537","https://openalex.org/W2141664020","https://openalex.org/W2142156433","https://openalex.org/W2294424735","https://openalex.org/W2792781634","https://openalex.org/W2841721725","https://openalex.org/W3010924044","https://openalex.org/W3034726893","https://openalex.org/W3102121895","https://openalex.org/W3155735978","https://openalex.org/W4295046640","https://openalex.org/W4389666293"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2062023542"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}