Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894940691> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2894940691 abstract "Linear temporal logic and automaton-based run-time verification provide a powerful framework for designing task and motion planning algorithms for autonomous agents. The drawback to this approach is the computational cost of operating on high resolution discrete abstractions of continuous dynamical systems. In particular, the computational bottleneck that arises is converting perceived environment variables into a labeling function on the states of a Kripke structure or analogously the transitions of a labeled transition system. This paper presents the design and empirical evaluation of an approach to constructing the labeling function that exposes a large degree of parallelism in the operation as well as efficient memory access patterns. The approach is implemented on a commodity GPU and empirical results demonstrate the efficacy of the labeling technique for real-time planning and decision-making." @default.
- W2894940691 created "2018-10-12" @default.
- W2894940691 creator A5018814025 @default.
- W2894940691 creator A5040685048 @default.
- W2894940691 creator A5077085643 @default.
- W2894940691 date "2018-10-05" @default.
- W2894940691 modified "2023-09-25" @default.
- W2894940691 title "Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications." @default.
- W2894940691 cites W1971086298 @default.
- W2894940691 cites W2027769154 @default.
- W2894940691 cites W2059470663 @default.
- W2894940691 cites W2073548775 @default.
- W2894940691 cites W2089003125 @default.
- W2894940691 cites W2089709927 @default.
- W2894940691 cites W2144588269 @default.
- W2894940691 cites W2150335178 @default.
- W2894940691 cites W2151958719 @default.
- W2894940691 cites W2599174273 @default.
- W2894940691 cites W2611243847 @default.
- W2894940691 hasPublicationYear "2018" @default.
- W2894940691 type Work @default.
- W2894940691 sameAs 2894940691 @default.
- W2894940691 citedByCount "0" @default.
- W2894940691 crossrefType "posted-content" @default.
- W2894940691 hasAuthorship W2894940691A5018814025 @default.
- W2894940691 hasAuthorship W2894940691A5040685048 @default.
- W2894940691 hasAuthorship W2894940691A5077085643 @default.
- W2894940691 hasConcept C112505250 @default.
- W2894940691 hasConcept C11413529 @default.
- W2894940691 hasConcept C14036430 @default.
- W2894940691 hasConcept C149635348 @default.
- W2894940691 hasConcept C161913894 @default.
- W2894940691 hasConcept C162324750 @default.
- W2894940691 hasConcept C187736073 @default.
- W2894940691 hasConcept C25016198 @default.
- W2894940691 hasConcept C2780451532 @default.
- W2894940691 hasConcept C2780513914 @default.
- W2894940691 hasConcept C41008148 @default.
- W2894940691 hasConcept C4777664 @default.
- W2894940691 hasConcept C78458016 @default.
- W2894940691 hasConcept C80444323 @default.
- W2894940691 hasConcept C86803240 @default.
- W2894940691 hasConceptScore W2894940691C112505250 @default.
- W2894940691 hasConceptScore W2894940691C11413529 @default.
- W2894940691 hasConceptScore W2894940691C14036430 @default.
- W2894940691 hasConceptScore W2894940691C149635348 @default.
- W2894940691 hasConceptScore W2894940691C161913894 @default.
- W2894940691 hasConceptScore W2894940691C162324750 @default.
- W2894940691 hasConceptScore W2894940691C187736073 @default.
- W2894940691 hasConceptScore W2894940691C25016198 @default.
- W2894940691 hasConceptScore W2894940691C2780451532 @default.
- W2894940691 hasConceptScore W2894940691C2780513914 @default.
- W2894940691 hasConceptScore W2894940691C41008148 @default.
- W2894940691 hasConceptScore W2894940691C4777664 @default.
- W2894940691 hasConceptScore W2894940691C78458016 @default.
- W2894940691 hasConceptScore W2894940691C80444323 @default.
- W2894940691 hasConceptScore W2894940691C86803240 @default.
- W2894940691 hasLocation W28949406911 @default.
- W2894940691 hasOpenAccess W2894940691 @default.
- W2894940691 hasPrimaryLocation W28949406911 @default.
- W2894940691 hasRelatedWork W17300578 @default.
- W2894940691 hasRelatedWork W1791979290 @default.
- W2894940691 hasRelatedWork W1863652788 @default.
- W2894940691 hasRelatedWork W1990350596 @default.
- W2894940691 hasRelatedWork W203893800 @default.
- W2894940691 hasRelatedWork W2093227835 @default.
- W2894940691 hasRelatedWork W2154637232 @default.
- W2894940691 hasRelatedWork W2255489448 @default.
- W2894940691 hasRelatedWork W2268613590 @default.
- W2894940691 hasRelatedWork W2757091317 @default.
- W2894940691 hasRelatedWork W2758183027 @default.
- W2894940691 hasRelatedWork W2773619380 @default.
- W2894940691 hasRelatedWork W2789239344 @default.
- W2894940691 hasRelatedWork W2795735404 @default.
- W2894940691 hasRelatedWork W2887039832 @default.
- W2894940691 hasRelatedWork W2984988196 @default.
- W2894940691 hasRelatedWork W3084930019 @default.
- W2894940691 hasRelatedWork W3136316167 @default.
- W2894940691 hasRelatedWork W818490787 @default.
- W2894940691 hasRelatedWork W3111022359 @default.
- W2894940691 isParatext "false" @default.
- W2894940691 isRetracted "false" @default.
- W2894940691 magId "2894940691" @default.
- W2894940691 workType "article" @default.