Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384389790> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4384389790 abstract "Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive. This paper shows how to turn goals specified using a subset of finite trace Linear Temporal Logic (LTL) into a behavior tree (BT) that guarantees that successful traces satisfy the LTL goal. Useful LTL formulas for achievement goals can be derived using achievement-oriented task mission grammars, leading to missions made up of tasks combined using LTL operators. Constructing BTs from LTL formulas leads to a relaxed behavior synthesis problem in which a wide range of planners can implement the action nodes in the BT. Importantly, any successful trace induced by the planners satisfies the corresponding LTL formula. The usefulness of the approach is demonstrated in two ways: a) exploring the alignment between two planners and LTL goals, and b) solving a sequential key-door problem for a Fetch robot." @default.
- W4384389790 created "2023-07-15" @default.
- W4384389790 creator A5077345598 @default.
- W4384389790 creator A5077985520 @default.
- W4384389790 date "2023-07-12" @default.
- W4384389790 modified "2023-09-25" @default.
- W4384389790 title "Designing Behavior Trees from Goal-Oriented LTLf Formulas" @default.
- W4384389790 doi "https://doi.org/10.48550/arxiv.2307.06399" @default.
- W4384389790 hasPublicationYear "2023" @default.
- W4384389790 type Work @default.
- W4384389790 citedByCount "0" @default.
- W4384389790 crossrefType "posted-content" @default.
- W4384389790 hasAuthorship W4384389790A5077345598 @default.
- W4384389790 hasAuthorship W4384389790A5077985520 @default.
- W4384389790 hasBestOaLocation W43843897901 @default.
- W4384389790 hasConcept C111368507 @default.
- W4384389790 hasConcept C113174947 @default.
- W4384389790 hasConcept C127313418 @default.
- W4384389790 hasConcept C127413603 @default.
- W4384389790 hasConcept C131918245 @default.
- W4384389790 hasConcept C134306372 @default.
- W4384389790 hasConcept C138885662 @default.
- W4384389790 hasConcept C146978453 @default.
- W4384389790 hasConcept C201995342 @default.
- W4384389790 hasConcept C204323151 @default.
- W4384389790 hasConcept C25016198 @default.
- W4384389790 hasConcept C26517878 @default.
- W4384389790 hasConcept C2780451532 @default.
- W4384389790 hasConcept C28077239 @default.
- W4384389790 hasConcept C33923547 @default.
- W4384389790 hasConcept C38652104 @default.
- W4384389790 hasConcept C41008148 @default.
- W4384389790 hasConcept C41895202 @default.
- W4384389790 hasConcept C4777664 @default.
- W4384389790 hasConcept C75291252 @default.
- W4384389790 hasConcept C80444323 @default.
- W4384389790 hasConceptScore W4384389790C111368507 @default.
- W4384389790 hasConceptScore W4384389790C113174947 @default.
- W4384389790 hasConceptScore W4384389790C127313418 @default.
- W4384389790 hasConceptScore W4384389790C127413603 @default.
- W4384389790 hasConceptScore W4384389790C131918245 @default.
- W4384389790 hasConceptScore W4384389790C134306372 @default.
- W4384389790 hasConceptScore W4384389790C138885662 @default.
- W4384389790 hasConceptScore W4384389790C146978453 @default.
- W4384389790 hasConceptScore W4384389790C201995342 @default.
- W4384389790 hasConceptScore W4384389790C204323151 @default.
- W4384389790 hasConceptScore W4384389790C25016198 @default.
- W4384389790 hasConceptScore W4384389790C26517878 @default.
- W4384389790 hasConceptScore W4384389790C2780451532 @default.
- W4384389790 hasConceptScore W4384389790C28077239 @default.
- W4384389790 hasConceptScore W4384389790C33923547 @default.
- W4384389790 hasConceptScore W4384389790C38652104 @default.
- W4384389790 hasConceptScore W4384389790C41008148 @default.
- W4384389790 hasConceptScore W4384389790C41895202 @default.
- W4384389790 hasConceptScore W4384389790C4777664 @default.
- W4384389790 hasConceptScore W4384389790C75291252 @default.
- W4384389790 hasConceptScore W4384389790C80444323 @default.
- W4384389790 hasLocation W43843897901 @default.
- W4384389790 hasOpenAccess W4384389790 @default.
- W4384389790 hasPrimaryLocation W43843897901 @default.
- W4384389790 hasRelatedWork W1565492074 @default.
- W4384389790 hasRelatedWork W2081369054 @default.
- W4384389790 hasRelatedWork W2110468917 @default.
- W4384389790 hasRelatedWork W2222670347 @default.
- W4384389790 hasRelatedWork W2256753787 @default.
- W4384389790 hasRelatedWork W2282176459 @default.
- W4384389790 hasRelatedWork W2346373674 @default.
- W4384389790 hasRelatedWork W2523467757 @default.
- W4384389790 hasRelatedWork W2931443989 @default.
- W4384389790 hasRelatedWork W4379193132 @default.
- W4384389790 isParatext "false" @default.
- W4384389790 isRetracted "false" @default.
- W4384389790 workType "article" @default.