FRINK Linked Data Fragments server

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

• W3033621224 endingPage "1028" @default.
• W3033621224 startingPage "1002" @default.
• W3033621224 abstract "We develop a sampling-based motion planning algorithm that combines long-term temporal logic goals with short-term reactive requirements. The mission specification has two parts: (1) a global specification given as a linear temporal logic (LTL) formula over a set of static service requests that occur at the regions of a known environment, and (2) a local specification that requires servicing a set of dynamic requests that can be sensed locally during the execution. The proposed computational framework consists of two main ingredients: (a) an off-line sampling-based algorithm for the construction of a global transition system that contains a path satisfying the LTL formula; and (b) an on-line sampling-based algorithm to generate paths that service the local requests, while making sure that the satisfaction of the global specification is not affected. The off-line algorithm has four main features. First, it is incremental, in the sense that the procedure for finding a satisfying path at each iteration scales only with the number of new samples generated at that iteration. Second, the underlying graph is sparse, which implies low complexity for the overall method. Third, it is probabilistically complete. Fourth, under some mild assumptions, it has the best possible complexity bound. The on-line algorithm leverages ideas from LTL monitoring and potential functions to ensure progress towards the satisfaction of the global specification while servicing locally sensed requests. Examples and experimental trials illustrating the usefulness and the performance of the framework are included." @default.
• W3033621224 created "2020-06-12" @default.
• W3033621224 creator A5051558989 @default.
• W3033621224 creator A5086654963 @default.
• W3033621224 creator A5086742095 @default.
• W3033621224 date "2020-06-04" @default.
• W3033621224 modified "2023-10-16" @default.
• W3033621224 title "Reactive sampling-based path planning with temporal logic specifications" @default.
• W3033621224 cites W1424654272 @default.
• W3033621224 cites W1742473997 @default.
• W3033621224 cites W1970269621 @default.
• W3033621224 cites W1971086298 @default.
• W3033621224 cites W1991596047 @default.
• W3033621224 cites W2000359213 @default.
• W3033621224 cites W2002201291 @default.
• W3033621224 cites W2002675616 @default.
• W3033621224 cites W2002893084 @default.
• W3033621224 cites W2029253432 @default.
• W3033621224 cites W2045811332 @default.
• W3033621224 cites W2048563056 @default.
• W3033621224 cites W2052111476 @default.
• W3033621224 cites W2054145244 @default.
• W3033621224 cites W2054585537 @default.
• W3033621224 cites W2055101460 @default.
• W3033621224 cites W2055688322 @default.
• W3033621224 cites W2069522844 @default.
• W3033621224 cites W2072127296 @default.
• W3033621224 cites W2073548775 @default.
• W3033621224 cites W2077245982 @default.
• W3033621224 cites W2089003125 @default.
• W3033621224 cites W2089709927 @default.
• W3033621224 cites W2104241562 @default.
• W3033621224 cites W2116647221 @default.
• W3033621224 cites W2128990851 @default.
• W3033621224 cites W2142577696 @default.
• W3033621224 cites W2150335178 @default.
• W3033621224 cites W2150500908 @default.
• W3033621224 cites W2163941698 @default.
• W3033621224 cites W2165216595 @default.
• W3033621224 cites W2165364079 @default.
• W3033621224 cites W2167185915 @default.
• W3033621224 cites W2167805536 @default.
• W3033621224 cites W2168992242 @default.
• W3033621224 cites W2344321026 @default.
• W3033621224 cites W2381901500 @default.
• W3033621224 cites W2411429396 @default.
• W3033621224 cites W2522043470 @default.
• W3033621224 cites W2571161957 @default.
• W3033621224 cites W2594675090 @default.
• W3033621224 cites W2737479107 @default.
• W3033621224 cites W2772485446 @default.
• W3033621224 cites W2775497185 @default.
• W3033621224 cites W2784743256 @default.
• W3033621224 cites W2786893837 @default.
• W3033621224 cites W2804655496 @default.
• W3033621224 cites W2811294511 @default.
• W3033621224 cites W2889786920 @default.
• W3033621224 cites W2890208026 @default.
• W3033621224 cites W2911097698 @default.
• W3033621224 cites W2963117388 @default.
• W3033621224 cites W2963566599 @default.
• W3033621224 cites W2963889167 @default.
• W3033621224 cites W4292408570 @default.
• W3033621224 cites W2167458550 @default.
• W3033621224 doi "https://doi.org/10.1177/0278364920918919" @default.
• W3033621224 hasPublicationYear "2020" @default.
• W3033621224 type Work @default.
• W3033621224 sameAs 3033621224 @default.
• W3033621224 citedByCount "19" @default.
• W3033621224 countsByYear W30336212242020 @default.
• W3033621224 countsByYear W30336212242021 @default.
• W3033621224 countsByYear W30336212242022 @default.
• W3033621224 countsByYear W30336212242023 @default.
• W3033621224 crossrefType "journal-article" @default.
• W3033621224 hasAuthorship W3033621224A5051558989 @default.
• W3033621224 hasAuthorship W3033621224A5086654963 @default.
• W3033621224 hasAuthorship W3033621224A5086742095 @default.
• W3033621224 hasConcept C106131492 @default.
• W3033621224 hasConcept C11413529 @default.
• W3033621224 hasConcept C121332964 @default.
• W3033621224 hasConcept C126255220 @default.
• W3033621224 hasConcept C132525143 @default.
• W3033621224 hasConcept C140779682 @default.
• W3033621224 hasConcept C177264268 @default.
• W3033621224 hasConcept C199360897 @default.
• W3033621224 hasConcept C25016198 @default.
• W3033621224 hasConcept C2777735758 @default.
• W3033621224 hasConcept C31972630 @default.
• W3033621224 hasConcept C33923547 @default.
• W3033621224 hasConcept C41008148 @default.
• W3033621224 hasConcept C4777664 @default.
• W3033621224 hasConcept C61797465 @default.
• W3033621224 hasConcept C62520636 @default.
• W3033621224 hasConcept C80444323 @default.
• W3033621224 hasConceptScore W3033621224C106131492 @default.
• W3033621224 hasConceptScore W3033621224C11413529 @default.
• W3033621224 hasConceptScore W3033621224C121332964 @default.
• W3033621224 hasConceptScore W3033621224C126255220 @default.

• next