Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617654331> ?p ?o ?g. }
- W2617654331 abstract "As drones and autonomous cars become more widespread it is becoming increasingly important that robots can operate safely under realistic conditions. The noisy information fed into real systems means that robots must use estimates of the environment to plan navigation. Efficiently guaranteeing that the resulting motion plans are safe under these circumstances has proved difficult. We examine how to guarantee that a trajectory or policy is safe with only imperfect observations of the environment. We examine the implications of various mathematical formalisms of safety and arrive at a mathematical notion of safety of a long-term execution, even when conditioned on observational information. We present efficient algorithms that can prove that trajectories or policies are safe with much tighter bounds than in previous work. Notably, the complexity of the environment does not affect our methods ability to evaluate if a trajectory or policy is safe. We then use these safety checking methods to design a safe variant of the RRT planning algorithm." @default.
- W2617654331 created "2017-06-05" @default.
- W2617654331 creator A5009465922 @default.
- W2617654331 creator A5012862284 @default.
- W2617654331 creator A5063238208 @default.
- W2617654331 date "2017-05-31" @default.
- W2617654331 modified "2023-09-27" @default.
- W2617654331 title "Provably Safe Robot Navigation with Obstacle Uncertainty" @default.
- W2617654331 cites W131069610 @default.
- W2617654331 cites W1529817735 @default.
- W2617654331 cites W2012136789 @default.
- W2617654331 cites W2053044028 @default.
- W2617654331 cites W2103052138 @default.
- W2617654331 cites W2168359464 @default.
- W2617654331 cites W2229105208 @default.
- W2617654331 cites W2474124859 @default.
- W2617654331 hasPublicationYear "2017" @default.
- W2617654331 type Work @default.
- W2617654331 sameAs 2617654331 @default.
- W2617654331 citedByCount "1" @default.
- W2617654331 countsByYear W26176543312018 @default.
- W2617654331 crossrefType "posted-content" @default.
- W2617654331 hasAuthorship W2617654331A5009465922 @default.
- W2617654331 hasAuthorship W2617654331A5012862284 @default.
- W2617654331 hasAuthorship W2617654331A5063238208 @default.
- W2617654331 hasConcept C112930515 @default.
- W2617654331 hasConcept C121332964 @default.
- W2617654331 hasConcept C123676819 @default.
- W2617654331 hasConcept C127413603 @default.
- W2617654331 hasConcept C1276947 @default.
- W2617654331 hasConcept C13662910 @default.
- W2617654331 hasConcept C138885662 @default.
- W2617654331 hasConcept C144237770 @default.
- W2617654331 hasConcept C154945302 @default.
- W2617654331 hasConcept C166957645 @default.
- W2617654331 hasConcept C171018156 @default.
- W2617654331 hasConcept C17744445 @default.
- W2617654331 hasConcept C199539241 @default.
- W2617654331 hasConcept C2524010 @default.
- W2617654331 hasConcept C2776505523 @default.
- W2617654331 hasConcept C2776650193 @default.
- W2617654331 hasConcept C2780310539 @default.
- W2617654331 hasConcept C33923547 @default.
- W2617654331 hasConcept C41008148 @default.
- W2617654331 hasConcept C41895202 @default.
- W2617654331 hasConcept C42475967 @default.
- W2617654331 hasConcept C54355233 @default.
- W2617654331 hasConcept C59519942 @default.
- W2617654331 hasConcept C71924100 @default.
- W2617654331 hasConcept C86803240 @default.
- W2617654331 hasConcept C90509273 @default.
- W2617654331 hasConcept C95457728 @default.
- W2617654331 hasConceptScore W2617654331C112930515 @default.
- W2617654331 hasConceptScore W2617654331C121332964 @default.
- W2617654331 hasConceptScore W2617654331C123676819 @default.
- W2617654331 hasConceptScore W2617654331C127413603 @default.
- W2617654331 hasConceptScore W2617654331C1276947 @default.
- W2617654331 hasConceptScore W2617654331C13662910 @default.
- W2617654331 hasConceptScore W2617654331C138885662 @default.
- W2617654331 hasConceptScore W2617654331C144237770 @default.
- W2617654331 hasConceptScore W2617654331C154945302 @default.
- W2617654331 hasConceptScore W2617654331C166957645 @default.
- W2617654331 hasConceptScore W2617654331C171018156 @default.
- W2617654331 hasConceptScore W2617654331C17744445 @default.
- W2617654331 hasConceptScore W2617654331C199539241 @default.
- W2617654331 hasConceptScore W2617654331C2524010 @default.
- W2617654331 hasConceptScore W2617654331C2776505523 @default.
- W2617654331 hasConceptScore W2617654331C2776650193 @default.
- W2617654331 hasConceptScore W2617654331C2780310539 @default.
- W2617654331 hasConceptScore W2617654331C33923547 @default.
- W2617654331 hasConceptScore W2617654331C41008148 @default.
- W2617654331 hasConceptScore W2617654331C41895202 @default.
- W2617654331 hasConceptScore W2617654331C42475967 @default.
- W2617654331 hasConceptScore W2617654331C54355233 @default.
- W2617654331 hasConceptScore W2617654331C59519942 @default.
- W2617654331 hasConceptScore W2617654331C71924100 @default.
- W2617654331 hasConceptScore W2617654331C86803240 @default.
- W2617654331 hasConceptScore W2617654331C90509273 @default.
- W2617654331 hasConceptScore W2617654331C95457728 @default.
- W2617654331 hasLocation W26176543311 @default.
- W2617654331 hasOpenAccess W2617654331 @default.
- W2617654331 hasPrimaryLocation W26176543311 @default.
- W2617654331 hasRelatedWork W2559854331 @default.
- W2617654331 hasRelatedWork W2904339943 @default.
- W2617654331 hasRelatedWork W2942821629 @default.
- W2617654331 hasRelatedWork W2945623569 @default.
- W2617654331 hasRelatedWork W2962683513 @default.
- W2617654331 hasRelatedWork W2967193622 @default.
- W2617654331 hasRelatedWork W2970046048 @default.
- W2617654331 hasRelatedWork W3006428337 @default.
- W2617654331 hasRelatedWork W305502212 @default.
- W2617654331 hasRelatedWork W3109291292 @default.
- W2617654331 hasRelatedWork W3111636802 @default.
- W2617654331 hasRelatedWork W3114355749 @default.
- W2617654331 hasRelatedWork W3114470638 @default.
- W2617654331 hasRelatedWork W3125460529 @default.
- W2617654331 hasRelatedWork W3130337320 @default.
- W2617654331 hasRelatedWork W3133280296 @default.
- W2617654331 hasRelatedWork W3165692195 @default.
- W2617654331 hasRelatedWork W3176838722 @default.