FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950684406> ?p ?o ?g. }

• W2950684406 abstract "Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about the environment, has gained traction in recent years for motion planning under uncertainty. One prominent approach is planning in the belief space. However, most belief-space planning starts with a known reward function, which can be difficult to specify for complex tasks. On the other hand, symbolic control methods automatically synthesize controllers to achieve logical specifications, but often do not deal well with uncertainty. In this work, we propose a framework for scalable task and motion planning in uncertain environments that combines the best of belief-space planning and symbolic control. Specifically, we provide a counterexample-guided-inductive-synthesis algorithm for probabilistic temporal logic over reals (PRTL) specifications in the belief space. Our method automatically generates actions that improve confidence in a belief when necessary, thus using active perception to satisfy PRTL specifications." @default.
• W2950684406 created "2019-06-27" @default.
• W2950684406 creator A5005085816 @default.
• W2950684406 creator A5021639238 @default.
• W2950684406 creator A5045445273 @default.
• W2950684406 date "2019-05-09" @default.
• W2950684406 modified "2023-09-27" @default.
• W2950684406 title "Active Perception and Control from Temporal Logic Specifications" @default.
• W2950684406 cites W1529817735 @default.
• W2950684406 cites W1597196612 @default.
• W2950684406 cites W1651676304 @default.
• W2950684406 cites W1787074469 @default.
• W2950684406 cites W1862398452 @default.
• W2950684406 cites W1912569824 @default.
• W2950684406 cites W1969907553 @default.
• W2950684406 cites W1977034420 @default.
• W2950684406 cites W2025217226 @default.
• W2950684406 cites W2026425544 @default.
• W2950684406 cites W2071257796 @default.
• W2950684406 cites W2081326455 @default.
• W2950684406 cites W2122410182 @default.
• W2950684406 cites W2168992242 @default.
• W2950684406 cites W2207352740 @default.
• W2950684406 cites W2238201325 @default.
• W2950684406 cites W2296039540 @default.
• W2950684406 cites W2399169217 @default.
• W2950684406 cites W2410646682 @default.
• W2950684406 cites W2470448410 @default.
• W2950684406 cites W2559854331 @default.
• W2950684406 cites W2617250276 @default.
• W2950684406 cites W2963931816 @default.
• W2950684406 cites W2964328520 @default.
• W2950684406 cites W300028405 @default.
• W2950684406 cites W80905443 @default.
• W2950684406 cites W749729 @default.
• W2950684406 doi "https://doi.org/10.48550/arxiv.1905.03662" @default.
• W2950684406 hasPublicationYear "2019" @default.
• W2950684406 type Work @default.
• W2950684406 sameAs 2950684406 @default.
• W2950684406 citedByCount "0" @default.
• W2950684406 crossrefType "posted-content" @default.
• W2950684406 hasAuthorship W2950684406A5005085816 @default.
• W2950684406 hasAuthorship W2950684406A5021639238 @default.
• W2950684406 hasAuthorship W2950684406A5045445273 @default.
• W2950684406 hasBestOaLocation W29506844061 @default.
• W2950684406 hasConcept C111919701 @default.
• W2950684406 hasConcept C118615104 @default.
• W2950684406 hasConcept C127413603 @default.
• W2950684406 hasConcept C128913409 @default.
• W2950684406 hasConcept C14036430 @default.
• W2950684406 hasConcept C154945302 @default.
• W2950684406 hasConcept C162838799 @default.
• W2950684406 hasConcept C169760540 @default.
• W2950684406 hasConcept C201995342 @default.
• W2950684406 hasConcept C26760741 @default.
• W2950684406 hasConcept C2775924081 @default.
• W2950684406 hasConcept C2778572836 @default.
• W2950684406 hasConcept C2780451532 @default.
• W2950684406 hasConcept C33923547 @default.
• W2950684406 hasConcept C41008148 @default.
• W2950684406 hasConcept C48044578 @default.
• W2950684406 hasConcept C49937458 @default.
• W2950684406 hasConcept C77088390 @default.
• W2950684406 hasConcept C78458016 @default.
• W2950684406 hasConcept C80444323 @default.
• W2950684406 hasConcept C86803240 @default.
• W2950684406 hasConceptScore W2950684406C111919701 @default.
• W2950684406 hasConceptScore W2950684406C118615104 @default.
• W2950684406 hasConceptScore W2950684406C127413603 @default.
• W2950684406 hasConceptScore W2950684406C128913409 @default.
• W2950684406 hasConceptScore W2950684406C14036430 @default.
• W2950684406 hasConceptScore W2950684406C154945302 @default.
• W2950684406 hasConceptScore W2950684406C162838799 @default.
• W2950684406 hasConceptScore W2950684406C169760540 @default.
• W2950684406 hasConceptScore W2950684406C201995342 @default.
• W2950684406 hasConceptScore W2950684406C26760741 @default.
• W2950684406 hasConceptScore W2950684406C2775924081 @default.
• W2950684406 hasConceptScore W2950684406C2778572836 @default.
• W2950684406 hasConceptScore W2950684406C2780451532 @default.
• W2950684406 hasConceptScore W2950684406C33923547 @default.
• W2950684406 hasConceptScore W2950684406C41008148 @default.
• W2950684406 hasConceptScore W2950684406C48044578 @default.
• W2950684406 hasConceptScore W2950684406C49937458 @default.
• W2950684406 hasConceptScore W2950684406C77088390 @default.
• W2950684406 hasConceptScore W2950684406C78458016 @default.
• W2950684406 hasConceptScore W2950684406C80444323 @default.
• W2950684406 hasConceptScore W2950684406C86803240 @default.
• W2950684406 hasLocation W29506844061 @default.
• W2950684406 hasOpenAccess W2950684406 @default.
• W2950684406 hasPrimaryLocation W29506844061 @default.
• W2950684406 hasRelatedWork W103774727 @default.
• W2950684406 hasRelatedWork W1544497644 @default.
• W2950684406 hasRelatedWork W1554774506 @default.
• W2950684406 hasRelatedWork W1915198063 @default.
• W2950684406 hasRelatedWork W2105172619 @default.
• W2950684406 hasRelatedWork W2145002677 @default.
• W2950684406 hasRelatedWork W2305117422 @default.
• W2950684406 hasRelatedWork W2734341768 @default.
• W2950684406 hasRelatedWork W2950723509 @default.
• W2950684406 hasRelatedWork W3101973194 @default.

• next