{"id":"https://openalex.org/W3039276491","doi":"https://doi.org/10.1109/tac.2020.3006967","title":"Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties","display_name":"Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties","publication_year":2020,"publication_date":"2020-07-03","ids":{"openalex":"https://openalex.org/W3039276491","doi":"https://doi.org/10.1109/tac.2020.3006967","mag":"3039276491"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2020.3006967","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2020.3006967","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","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/A5001420415","display_name":"Mingyu Cai","orcid":"https://orcid.org/0000-0002-2967-2703"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mingyu Cai","raw_affiliation_strings":["The University of Iowa, Iowa City, IA, USA"],"affiliations":[{"raw_affiliation_string":"The University of Iowa, Iowa City, IA, USA","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102001983","display_name":"Hao Peng","orcid":"https://orcid.org/0000-0001-8617-4850"},"institutions":[{"id":"https://openalex.org/I2799847335","display_name":"Art Institute of Portland","ror":"https://ror.org/01cb0jg64","country_code":"US","type":"education","lineage":["https://openalex.org/I2799847335","https://openalex.org/I2799969541"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hao Peng","raw_affiliation_strings":["Apex.AI Inc, Palo Alto, CA, USA"],"affiliations":[{"raw_affiliation_string":"Apex.AI Inc, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I2799847335"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100450024","display_name":"Zhijun Li","orcid":"https://orcid.org/0000-0002-3909-488X"},"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":"Zhijun Li","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"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, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5001420415"],"corresponding_institution_ids":["https://openalex.org/I126307644"],"apc_list":null,"apc_paid":null,"fwci":5.918,"has_fulltext":false,"cited_by_count":54,"citation_normalized_percentile":{"value":0.96900882,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":"66","issue":"5","first_page":"2386","last_page":"2392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9987999796867371,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9855999946594238,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9796000123023987,"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/markov-decision-process","display_name":"Markov decision process","score":0.8063520193099976},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6994236707687378},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.6457061171531677},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5900720953941345},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5601758360862732},{"id":"https://openalex.org/keywords/q-learning","display_name":"Q-learning","score":0.5170060396194458},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.5067678093910217},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.48278963565826416},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4790288507938385},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.47865211963653564},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.47582677006721497},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.4694254994392395},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4418632686138153},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4196358919143677},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.38532906770706177},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3014702796936035},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2750890552997589},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23669075965881348},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.2173798680305481},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21123942732810974}],"concepts":[{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.8063520193099976},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6994236707687378},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.6457061171531677},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5900720953941345},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5601758360862732},{"id":"https://openalex.org/C188116033","wikidata":"https://www.wikidata.org/wiki/Q2664563","display_name":"Q-learning","level":3,"score":0.5170060396194458},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.5067678093910217},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.48278963565826416},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4790288507938385},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.47865211963653564},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.47582677006721497},{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.4694254994392395},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4418632686138153},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4196358919143677},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.38532906770706177},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3014702796936035},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2750890552997589},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23669075965881348},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.2173798680305481},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21123942732810974},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2020.3006967","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2020.3006967","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W32403112","https://openalex.org/W1482244486","https://openalex.org/W1498432697","https://openalex.org/W1556387789","https://openalex.org/W1792768639","https://openalex.org/W1943821960","https://openalex.org/W2010802721","https://openalex.org/W2018380024","https://openalex.org/W2052695231","https://openalex.org/W2059470663","https://openalex.org/W2077578897","https://openalex.org/W2082084336","https://openalex.org/W2087107980","https://openalex.org/W2103728338","https://openalex.org/W2124339220","https://openalex.org/W2150335178","https://openalex.org/W2155327357","https://openalex.org/W2157807654","https://openalex.org/W2489939061","https://openalex.org/W2502103274","https://openalex.org/W2524638160","https://openalex.org/W2567705466","https://openalex.org/W2620827312","https://openalex.org/W2623293810","https://openalex.org/W2624912704","https://openalex.org/W2895196950","https://openalex.org/W2911738095","https://openalex.org/W2914702425","https://openalex.org/W2931553127","https://openalex.org/W2953302092","https://openalex.org/W2963525569","https://openalex.org/W2963778636","https://openalex.org/W3011250830","https://openalex.org/W3147153024","https://openalex.org/W4378512447","https://openalex.org/W6759275947"],"related_works":["https://openalex.org/W1536296381","https://openalex.org/W2146763310","https://openalex.org/W1515117609","https://openalex.org/W2156371714","https://openalex.org/W1663497315","https://openalex.org/W2123927904","https://openalex.org/W3090827750","https://openalex.org/W1932117986","https://openalex.org/W1574991376","https://openalex.org/W159548195"],"abstract_inverted_index":{"This":[0],"article":[1],"considers":[2],"control":[3],"synthesis":[4],"of":[5,25,84,153],"an":[6],"autonomous":[7],"agent":[8,27,67],"with":[9,36,101],"linear":[10],"temporal":[11],"logic":[12],"(LTL)":[13],"specifications":[14,53,142],"subject":[15],"to":[16,45,68,122,134],"environment":[17,42],"and":[18,87],"motion":[19,24,71],"uncertainties.":[20],"Specifically,":[21],"the":[22,26,50,66,76,109,117,139,149,154],"probabilistic":[23],"is":[28,43,62,90,120,131],"modeled":[29],"by":[30,147],"a":[31,105,125],"Markov":[32],"decision":[33],"process":[34],"(MDP)":[35],"unknown":[37],"transition":[38],"probabilities.":[39],"The":[40],"operating":[41],"assumed":[44],"be":[46,55],"partially":[47,56],"known,":[48],"where":[49],"desired":[51,77,140],"LTL":[52,78,141],"might":[54],"infeasible.":[57],"A":[58,80,127],"relaxed":[59,110,155],"product":[60,111,156],"MDP":[61],"constructed":[63],"that":[64,107,115,137],"allows":[65],"revise":[69],"its":[70],"plan":[72],"without":[73],"strictly":[74],"following":[75],"constraints.":[79],"utility":[81,119,152],"function":[82],"composed":[83],"violation":[85],"cost":[86],"state":[88],"rewards":[89],"developed.":[91],"Rigorous":[92],"analysis":[93],"shows":[94],"that,":[95],"if":[96],"there":[97],"almost":[98],"surely":[99],"(i.e.,":[100],"probability":[102],"1)":[103],"exists":[104],"policy":[106],"satisfies":[108],"MDP,":[112],"any":[113],"algorithm":[114],"optimizes":[116],"expected":[118,150],"guaranteed":[121],"find":[123],"such":[124],"policy.":[126],"reinforcement":[128],"learning-based":[129],"approach":[130],"then":[132],"developed":[133],"generate":[135],"policies":[136],"fulfill":[138],"as":[143,145],"much":[144],"possible":[146],"optimizing":[148],"discount":[151],"MDP.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":18},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}