{"id":"https://openalex.org/W4394712781","doi":"https://doi.org/10.1109/ricai60863.2023.10489669","title":"Learning-Based Temporal Logic Control for Continuous POMDPs","display_name":"Learning-Based Temporal Logic Control for Continuous POMDPs","publication_year":2023,"publication_date":"2023-12-01","ids":{"openalex":"https://openalex.org/W4394712781","doi":"https://doi.org/10.1109/ricai60863.2023.10489669"},"language":"en","primary_location":{"id":"doi:10.1109/ricai60863.2023.10489669","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/ricai60863.2023.10489669","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 5th International Conference on Robotics, Intelligent Control and Artificial Intelligence (RICAI)","raw_type":"proceedings-article"},"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/A5075353409","display_name":"Keyi Zhang","orcid":"https://orcid.org/0009-0002-4327-1823"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Keyi Zhang","raw_affiliation_strings":["University of Science and Technology of China,Department of Automation,Hefei,China","Department of Automation, University of Science and Technology of China, Hefei, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,Department of Automation,Hefei,China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Department of Automation, University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018344952","display_name":"Zhen Kan","orcid":"https://orcid.org/0000-0003-2069-9544"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Kan","raw_affiliation_strings":["University of Science and Technology of China,Department of Automation,Hefei,China","Department of Automation, University of Science and Technology of China, Hefei, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,Department of Automation,Hefei,China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Department of Automation, University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.40816491,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":null,"first_page":"286","last_page":"292"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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.734721839427948},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5450043082237244},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5365993976593018},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44861382246017456},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15526950359344482}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.734721839427948},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5450043082237244},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5365993976593018},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44861382246017456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15526950359344482}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ricai60863.2023.10489669","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/ricai60863.2023.10489669","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 5th International Conference on Robotics, Intelligent Control and Artificial Intelligence (RICAI)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1479674952","https://openalex.org/W1498432697","https://openalex.org/W1532688806","https://openalex.org/W2099430963","https://openalex.org/W2099873296","https://openalex.org/W2116753650","https://openalex.org/W2144088174","https://openalex.org/W2487186542","https://openalex.org/W2571161957","https://openalex.org/W2892537867","https://openalex.org/W2997350486","https://openalex.org/W2999973955","https://openalex.org/W3011250830","https://openalex.org/W3038822267","https://openalex.org/W3039276491","https://openalex.org/W3090827750","https://openalex.org/W3107932368","https://openalex.org/W3130777366","https://openalex.org/W3206858608","https://openalex.org/W3207170326","https://openalex.org/W3215640983","https://openalex.org/W4206513913","https://openalex.org/W4206742989","https://openalex.org/W4296913591","https://openalex.org/W4382200339","https://openalex.org/W4383097666","https://openalex.org/W6631864160","https://openalex.org/W6674711614","https://openalex.org/W6810483286"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Partially":[0],"Observable":[1],"Markov":[2],"Decision":[3],"Process":[4],"(POMDP)":[5],"is":[6,38,126],"a":[7,72,100,142],"mathematical":[8],"framework":[9],"used":[10],"to":[11,39,65,87,105],"model":[12],"decision":[13],"problems":[14],"in":[15,47,123,141],"partially":[16],"observable":[17],"environments.":[18,32],"In":[19,95],"real-world":[20],"scenarios,":[21],"such":[22,48],"as":[23],"robot":[24],"navigation,":[25],"we":[26,98,138],"often":[27],"encounter":[28],"continuous":[29,51,107],"and":[30,50,70,114,119,146],"uncertain":[31,49],"The":[33],"objective":[34],"of":[35,135],"this":[36,96],"study":[37],"address":[40],"the":[41,111,120,129,133,148],"decision-making":[42],"problem":[43],"for":[44,91],"agents":[45],"operating":[46],"environments,":[52],"while":[53],"dealing":[54],"with":[55,81,150],"complex":[56,68,93],"tasks.":[57,94],"We":[58,109],"utilize":[59],"Inequality":[60],"Linear":[61],"Temporal":[62],"Logic":[63],"(iLTL)":[64],"describe":[66],"these":[67],"tasks,":[69],"integrate":[71],"Limit-Deterministic":[73],"Generalized":[74],"B\u00fcchi":[75],"Automaton":[76],"(LDGBA)":[77],"derived":[78],"from":[79],"iLTL":[80],"POMDP.":[82],"This":[83],"integration":[84],"allows":[85],"us":[86],"derive":[88],"effective":[89],"policies":[90],"accomplishing":[92],"paper,":[97],"employ":[99],"point-based":[101],"reinforcement":[102,124,152],"learning":[103,125,153],"approach":[104],"solve":[106],"POMDPs.":[108],"represent":[110],"observation,":[112],"transition,":[113],"belief":[115],"using":[116],"Gaussian":[117],"mixtures":[118],"reward":[121],"design":[122],"guided":[127],"by":[128],"automaton.":[130],"To":[131],"evaluate":[132],"feasibility":[134],"our":[136],"approach,":[137],"conduct":[139],"experiments":[140],"simulated":[143],"robotic":[144],"domain":[145],"compare":[147],"performance":[149],"traditional":[151],"methods.":[154]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}