Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963452430> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2963452430 endingPage "246" @default.
- W2963452430 startingPage "238" @default.
- W2963452430 abstract "Planning robust executions under uncertainty is a fundamental challenge for building autonomous robots. Partially Observable Markov Decision Processes (POMDPs) provide a standard framework for modeling uncertainty in many applications. In this work, we study POMDPs with safe-reachability objectives, which require that with a probability above some threshold, a goal state is eventually reached while keeping the probability of visiting unsafe states below some threshold. This POMDP formulation is different from the traditional POMDP models with optimality objectives and we show that in some cases, POMDPs with safe-reachability objectives can provide a better guarantee of both safety and reachability than the existing POMDP models through an example. A key algorithmic problem for POMDPs is policy synthesis , which requires reasoning over a vast space of beliefs (probability distributions). To address this challenge, we introduce the notion of a goal-constrained belief space , which only contains beliefs reachable from the initial belief under desired executions that can achieve the given safe-reachability objective. Our method compactly represents this space over a bounded horizon using symbolic constraints, and employs an incremental Satisfiability Modulo Theories (SMT) solver to efficiently search for a valid policy over it. We evaluate our method using a case study involving a partially observable robotic domain with uncertain obstacles. The results show that our method can synthesize policies over large belief spaces with a small number of SMT solver calls by focusing on the goal-constrained belief space." @default.
- W2963452430 created "2019-07-30" @default.
- W2963452430 creator A5033632697 @default.
- W2963452430 creator A5057341982 @default.
- W2963452430 creator A5067205988 @default.
- W2963452430 date "2018-07-09" @default.
- W2963452430 modified "2023-09-26" @default.
- W2963452430 title "Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives" @default.
- W2963452430 hasPublicationYear "2018" @default.
- W2963452430 type Work @default.
- W2963452430 sameAs 2963452430 @default.
- W2963452430 citedByCount "6" @default.
- W2963452430 countsByYear W29634524302019 @default.
- W2963452430 countsByYear W29634524302020 @default.
- W2963452430 crossrefType "proceedings-article" @default.
- W2963452430 hasAuthorship W2963452430A5033632697 @default.
- W2963452430 hasAuthorship W2963452430A5057341982 @default.
- W2963452430 hasAuthorship W2963452430A5067205988 @default.
- W2963452430 hasConcept C105795698 @default.
- W2963452430 hasConcept C106189395 @default.
- W2963452430 hasConcept C110251889 @default.
- W2963452430 hasConcept C119857082 @default.
- W2963452430 hasConcept C126255220 @default.
- W2963452430 hasConcept C134306372 @default.
- W2963452430 hasConcept C136643341 @default.
- W2963452430 hasConcept C159886148 @default.
- W2963452430 hasConcept C163836022 @default.
- W2963452430 hasConcept C164155591 @default.
- W2963452430 hasConcept C168773769 @default.
- W2963452430 hasConcept C17098449 @default.
- W2963452430 hasConcept C2777669093 @default.
- W2963452430 hasConcept C2778770139 @default.
- W2963452430 hasConcept C33923547 @default.
- W2963452430 hasConcept C34388435 @default.
- W2963452430 hasConcept C41008148 @default.
- W2963452430 hasConcept C80444323 @default.
- W2963452430 hasConcept C98763669 @default.
- W2963452430 hasConceptScore W2963452430C105795698 @default.
- W2963452430 hasConceptScore W2963452430C106189395 @default.
- W2963452430 hasConceptScore W2963452430C110251889 @default.
- W2963452430 hasConceptScore W2963452430C119857082 @default.
- W2963452430 hasConceptScore W2963452430C126255220 @default.
- W2963452430 hasConceptScore W2963452430C134306372 @default.
- W2963452430 hasConceptScore W2963452430C136643341 @default.
- W2963452430 hasConceptScore W2963452430C159886148 @default.
- W2963452430 hasConceptScore W2963452430C163836022 @default.
- W2963452430 hasConceptScore W2963452430C164155591 @default.
- W2963452430 hasConceptScore W2963452430C168773769 @default.
- W2963452430 hasConceptScore W2963452430C17098449 @default.
- W2963452430 hasConceptScore W2963452430C2777669093 @default.
- W2963452430 hasConceptScore W2963452430C2778770139 @default.
- W2963452430 hasConceptScore W2963452430C33923547 @default.
- W2963452430 hasConceptScore W2963452430C34388435 @default.
- W2963452430 hasConceptScore W2963452430C41008148 @default.
- W2963452430 hasConceptScore W2963452430C80444323 @default.
- W2963452430 hasConceptScore W2963452430C98763669 @default.
- W2963452430 hasLocation W29634524301 @default.
- W2963452430 hasOpenAccess W2963452430 @default.
- W2963452430 hasPrimaryLocation W29634524301 @default.
- W2963452430 hasRelatedWork W1512929471 @default.
- W2963452430 hasRelatedWork W1644837597 @default.
- W2963452430 hasRelatedWork W2026315107 @default.
- W2963452430 hasRelatedWork W2045460737 @default.
- W2963452430 hasRelatedWork W2052959205 @default.
- W2963452430 hasRelatedWork W2099430963 @default.
- W2963452430 hasRelatedWork W2168359464 @default.
- W2963452430 hasRelatedWork W2182923251 @default.
- W2963452430 hasRelatedWork W2256983737 @default.
- W2963452430 hasRelatedWork W2749365756 @default.
- W2963452430 hasRelatedWork W2787504747 @default.
- W2963452430 hasRelatedWork W2914308742 @default.
- W2963452430 hasRelatedWork W2945268470 @default.
- W2963452430 hasRelatedWork W2946624434 @default.
- W2963452430 hasRelatedWork W2963418506 @default.
- W2963452430 hasRelatedWork W2965787007 @default.
- W2963452430 hasRelatedWork W3014097914 @default.
- W2963452430 hasRelatedWork W3023702893 @default.
- W2963452430 hasRelatedWork W3131686484 @default.
- W2963452430 hasRelatedWork W3185890095 @default.
- W2963452430 isParatext "false" @default.
- W2963452430 isRetracted "false" @default.
- W2963452430 magId "2963452430" @default.
- W2963452430 workType "article" @default.