{"id":"https://openalex.org/W3023702893","doi":"https://doi.org/10.1007/978-3-030-44051-0_8","title":"Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives","display_name":"Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3023702893","doi":"https://doi.org/10.1007/978-3-030-44051-0_8","mag":"3023702893"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-44051-0_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-44051-0_8","pdf_url":null,"source":{"id":"https://openalex.org/S4210172544","display_name":"Springer proceedings in advanced robotics","issn_l":"2511-1256","issn":["2511-1256","2511-1264"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Springer Proceedings in Advanced Robotics","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/A5100372089","display_name":"Yue Wang","orcid":"https://orcid.org/0000-0003-0146-7262"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yue Wang","raw_affiliation_strings":["Department of Computer Science, Rice University, Houston, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, Houston, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057341982","display_name":"Swarat Chaudhuri","orcid":"https://orcid.org/0000-0002-6859-1391"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swarat Chaudhuri","raw_affiliation_strings":["Department of Computer Science, Rice University, Houston, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, Houston, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067205988","display_name":"Lydia E. Kavraki","orcid":"https://orcid.org/0000-0003-0699-8038"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lydia E. Kavraki","raw_affiliation_strings":["Department of Computer Science, Rice University, Houston, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, Houston, USA","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067205988"],"corresponding_institution_ids":["https://openalex.org/I74775410"],"apc_list":null,"apc_paid":null,"fwci":0.337,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.42945969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"127","last_page":"143"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9941999912261963,"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.9941999912261963,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9902999997138977,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9843999743461609,"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/reachability","display_name":"Reachability","score":0.8600339293479919},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7678568363189697},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7051988840103149},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6567506790161133},{"id":"https://openalex.org/keywords/partially-observable-markov-decision-process","display_name":"Partially observable Markov decision process","score":0.6072413325309753},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5514944791793823},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.5387768149375916},{"id":"https://openalex.org/keywords/conditional-probability","display_name":"Conditional probability","score":0.43953049182891846},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4355706572532654},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4151690602302551},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34093743562698364},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.28389227390289307},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.26620692014694214},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1856078803539276},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.1771489381790161},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16910657286643982},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12981069087982178}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8600339293479919},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7678568363189697},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7051988840103149},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6567506790161133},{"id":"https://openalex.org/C17098449","wikidata":"https://www.wikidata.org/wiki/Q176814","display_name":"Partially observable Markov decision process","level":4,"score":0.6072413325309753},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5514944791793823},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.5387768149375916},{"id":"https://openalex.org/C44492722","wikidata":"https://www.wikidata.org/wiki/Q327069","display_name":"Conditional probability","level":2,"score":0.43953049182891846},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4355706572532654},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4151690602302551},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34093743562698364},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.28389227390289307},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.26620692014694214},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1856078803539276},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.1771489381790161},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16910657286643982},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12981069087982178},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-44051-0_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-44051-0_8","pdf_url":null,"source":{"id":"https://openalex.org/S4210172544","display_name":"Springer proceedings in advanced robotics","issn_l":"2511-1256","issn":["2511-1256","2511-1264"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Springer Proceedings in Advanced Robotics","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W177913229","https://openalex.org/W288011047","https://openalex.org/W1480909796","https://openalex.org/W1482467703","https://openalex.org/W1503109067","https://openalex.org/W1522308973","https://openalex.org/W1532688806","https://openalex.org/W1558657492","https://openalex.org/W1565394148","https://openalex.org/W1580254899","https://openalex.org/W1583869287","https://openalex.org/W1977070092","https://openalex.org/W1981691276","https://openalex.org/W1996295354","https://openalex.org/W2025217226","https://openalex.org/W2032100464","https://openalex.org/W2034725503","https://openalex.org/W2070683816","https://openalex.org/W2099430963","https://openalex.org/W2110790702","https://openalex.org/W2119852681","https://openalex.org/W2124595631","https://openalex.org/W2144088174","https://openalex.org/W2144913588","https://openalex.org/W2168359464","https://openalex.org/W2207352740","https://openalex.org/W2219400200","https://openalex.org/W2409384250","https://openalex.org/W2546924332","https://openalex.org/W2572445540","https://openalex.org/W2787504747","https://openalex.org/W2808915486","https://openalex.org/W2962801399","https://openalex.org/W4213269876"],"related_works":["https://openalex.org/W2096013579","https://openalex.org/W2884574904","https://openalex.org/W1760611253","https://openalex.org/W52153049","https://openalex.org/W1589140671","https://openalex.org/W2951545791","https://openalex.org/W1515117609","https://openalex.org/W2294884454","https://openalex.org/W4323315247","https://openalex.org/W3169161914"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}