Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003304481> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3003304481 abstract "In this paper, we address the problem of temporal logic planning given both hard specifications of the robot's mission and soft preferences on the plans that achieve the mission. In particular, we consider a problem whose inputs are a transition system, a linear temporal logic (LTL) formula specifying the robot's mission, and an ordered sequence of formulas expressed in linear dynamic logic over finite traces (LDL <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>f</sub> ) specifying the user's preferences for how the mission should be completed. The planner's objective is to synthesize, on this transition system, an infinite trajectory that best fits the user's preferences over finite prefixes of that trajectory while nonetheless satisfying the overall objective. We describe an algorithm for this problem that constructs, from the inputs, a product automaton -which is, in fact, a special kind of state-weighted Büchi automaton- over which an optimal trajectory is synthesized. This synthesis problem is solved via reduction to the minimax path problem in vertex weighted graphs, which can be solved by variants of the standard algorithms for computing shortest paths in a graph or by algorithms for the all-pairs bottleneck paths problem on vertex-weighted graphs. We show the applicability of the approach via some case studies, for which we present results computed by an implementation." @default.
- W3003304481 created "2020-02-07" @default.
- W3003304481 creator A5009459595 @default.
- W3003304481 creator A5089976123 @default.
- W3003304481 date "2019-11-01" @default.
- W3003304481 modified "2023-09-27" @default.
- W3003304481 title "Optimal temporal logic planning with cascading soft constraints" @default.
- W3003304481 cites W1424654272 @default.
- W3003304481 cites W1499727625 @default.
- W3003304481 cites W1582497976 @default.
- W3003304481 cites W1887552673 @default.
- W3003304481 cites W1927741686 @default.
- W3003304481 cites W1970269621 @default.
- W3003304481 cites W1990609140 @default.
- W3003304481 cites W2022850652 @default.
- W3003304481 cites W2036031393 @default.
- W3003304481 cites W2071797744 @default.
- W3003304481 cites W2082965709 @default.
- W3003304481 cites W2089003125 @default.
- W3003304481 cites W2127203018 @default.
- W3003304481 cites W2155327357 @default.
- W3003304481 cites W2182989809 @default.
- W3003304481 cites W2418752758 @default.
- W3003304481 cites W2418907377 @default.
- W3003304481 cites W2528851098 @default.
- W3003304481 cites W2557072247 @default.
- W3003304481 cites W2563813038 @default.
- W3003304481 cites W2569030807 @default.
- W3003304481 cites W2783378806 @default.
- W3003304481 cites W2784743256 @default.
- W3003304481 cites W2885650007 @default.
- W3003304481 cites W2889977736 @default.
- W3003304481 cites W2891561662 @default.
- W3003304481 cites W2964122198 @default.
- W3003304481 cites W3137337592 @default.
- W3003304481 doi "https://doi.org/10.1109/iros40897.2019.8968261" @default.
- W3003304481 hasPublicationYear "2019" @default.
- W3003304481 type Work @default.
- W3003304481 sameAs 3003304481 @default.
- W3003304481 citedByCount "6" @default.
- W3003304481 countsByYear W30033044812020 @default.
- W3003304481 countsByYear W30033044812021 @default.
- W3003304481 countsByYear W30033044812022 @default.
- W3003304481 countsByYear W30033044812023 @default.
- W3003304481 crossrefType "proceedings-article" @default.
- W3003304481 hasAuthorship W3003304481A5009459595 @default.
- W3003304481 hasAuthorship W3003304481A5089976123 @default.
- W3003304481 hasConcept C112505250 @default.
- W3003304481 hasConcept C11413529 @default.
- W3003304481 hasConcept C126255220 @default.
- W3003304481 hasConcept C132525143 @default.
- W3003304481 hasConcept C149635348 @default.
- W3003304481 hasConcept C149728462 @default.
- W3003304481 hasConcept C154945302 @default.
- W3003304481 hasConcept C25016198 @default.
- W3003304481 hasConcept C2779167558 @default.
- W3003304481 hasConcept C2780513914 @default.
- W3003304481 hasConcept C33923547 @default.
- W3003304481 hasConcept C41008148 @default.
- W3003304481 hasConcept C4777664 @default.
- W3003304481 hasConcept C80444323 @default.
- W3003304481 hasConcept C80899671 @default.
- W3003304481 hasConcept C81074085 @default.
- W3003304481 hasConcept C90509273 @default.
- W3003304481 hasConceptScore W3003304481C112505250 @default.
- W3003304481 hasConceptScore W3003304481C11413529 @default.
- W3003304481 hasConceptScore W3003304481C126255220 @default.
- W3003304481 hasConceptScore W3003304481C132525143 @default.
- W3003304481 hasConceptScore W3003304481C149635348 @default.
- W3003304481 hasConceptScore W3003304481C149728462 @default.
- W3003304481 hasConceptScore W3003304481C154945302 @default.
- W3003304481 hasConceptScore W3003304481C25016198 @default.
- W3003304481 hasConceptScore W3003304481C2779167558 @default.
- W3003304481 hasConceptScore W3003304481C2780513914 @default.
- W3003304481 hasConceptScore W3003304481C33923547 @default.
- W3003304481 hasConceptScore W3003304481C41008148 @default.
- W3003304481 hasConceptScore W3003304481C4777664 @default.
- W3003304481 hasConceptScore W3003304481C80444323 @default.
- W3003304481 hasConceptScore W3003304481C80899671 @default.
- W3003304481 hasConceptScore W3003304481C81074085 @default.
- W3003304481 hasConceptScore W3003304481C90509273 @default.
- W3003304481 hasLocation W30033044811 @default.
- W3003304481 hasOpenAccess W3003304481 @default.
- W3003304481 hasPrimaryLocation W30033044811 @default.
- W3003304481 hasRelatedWork W140214610 @default.
- W3003304481 hasRelatedWork W1518436864 @default.
- W3003304481 hasRelatedWork W1527462432 @default.
- W3003304481 hasRelatedWork W1582517610 @default.
- W3003304481 hasRelatedWork W1962098915 @default.
- W3003304481 hasRelatedWork W2362494442 @default.
- W3003304481 hasRelatedWork W2612310419 @default.
- W3003304481 hasRelatedWork W2798742893 @default.
- W3003304481 hasRelatedWork W3049105182 @default.
- W3003304481 hasRelatedWork W4206107994 @default.
- W3003304481 isParatext "false" @default.
- W3003304481 isRetracted "false" @default.
- W3003304481 magId "3003304481" @default.
- W3003304481 workType "article" @default.