Matches in SemOpenAlex for { <https://semopenalex.org/work/W2488538802> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2488538802 endingPage "226" @default.
- W2488538802 startingPage "221" @default.
- W2488538802 abstract "This paper concerns the application of formal methods to the definition of a detect and avoid concept for unmanned aircraft systems (UAS). In particular, it illustrates how formal analysis was used to explain and correct unexpected behaviors of the logic that issues alerts when two aircraft are predicted not to be well clear from one another. As a result of this analysis, a recommendation was proposed to, and subsequently adopted by, the US standards organization that defines the minimum operational requirements for the UAS detect and avoid concept." @default.
- W2488538802 created "2016-08-23" @default.
- W2488538802 creator A5000166506 @default.
- W2488538802 creator A5016058241 @default.
- W2488538802 date "2016-01-01" @default.
- W2488538802 modified "2023-09-23" @default.
- W2488538802 title "Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft" @default.
- W2488538802 cites W1534850143 @default.
- W2488538802 cites W2082485176 @default.
- W2488538802 cites W2312525721 @default.
- W2488538802 doi "https://doi.org/10.1007/978-3-319-40648-0_17" @default.
- W2488538802 hasPublicationYear "2016" @default.
- W2488538802 type Work @default.
- W2488538802 sameAs 2488538802 @default.
- W2488538802 citedByCount "14" @default.
- W2488538802 countsByYear W24885388022016 @default.
- W2488538802 countsByYear W24885388022017 @default.
- W2488538802 countsByYear W24885388022018 @default.
- W2488538802 countsByYear W24885388022019 @default.
- W2488538802 countsByYear W24885388022020 @default.
- W2488538802 countsByYear W24885388022021 @default.
- W2488538802 countsByYear W24885388022022 @default.
- W2488538802 countsByYear W24885388022023 @default.
- W2488538802 crossrefType "book-chapter" @default.
- W2488538802 hasAuthorship W2488538802A5000166506 @default.
- W2488538802 hasAuthorship W2488538802A5016058241 @default.
- W2488538802 hasBestOaLocation W24885388022 @default.
- W2488538802 hasConcept C11413529 @default.
- W2488538802 hasConcept C115903868 @default.
- W2488538802 hasConcept C127413603 @default.
- W2488538802 hasConcept C178802073 @default.
- W2488538802 hasConcept C199360897 @default.
- W2488538802 hasConcept C201995342 @default.
- W2488538802 hasConcept C2985583900 @default.
- W2488538802 hasConcept C41008148 @default.
- W2488538802 hasConcept C75606506 @default.
- W2488538802 hasConcept C76363472 @default.
- W2488538802 hasConceptScore W2488538802C11413529 @default.
- W2488538802 hasConceptScore W2488538802C115903868 @default.
- W2488538802 hasConceptScore W2488538802C127413603 @default.
- W2488538802 hasConceptScore W2488538802C178802073 @default.
- W2488538802 hasConceptScore W2488538802C199360897 @default.
- W2488538802 hasConceptScore W2488538802C201995342 @default.
- W2488538802 hasConceptScore W2488538802C2985583900 @default.
- W2488538802 hasConceptScore W2488538802C41008148 @default.
- W2488538802 hasConceptScore W2488538802C75606506 @default.
- W2488538802 hasConceptScore W2488538802C76363472 @default.
- W2488538802 hasLocation W24885388021 @default.
- W2488538802 hasLocation W24885388022 @default.
- W2488538802 hasOpenAccess W2488538802 @default.
- W2488538802 hasPrimaryLocation W24885388021 @default.
- W2488538802 hasRelatedWork W1524361563 @default.
- W2488538802 hasRelatedWork W1570804745 @default.
- W2488538802 hasRelatedWork W1614816533 @default.
- W2488538802 hasRelatedWork W169885289 @default.
- W2488538802 hasRelatedWork W1867371532 @default.
- W2488538802 hasRelatedWork W1964111820 @default.
- W2488538802 hasRelatedWork W1981755060 @default.
- W2488538802 hasRelatedWork W1986125561 @default.
- W2488538802 hasRelatedWork W2008825044 @default.
- W2488538802 hasRelatedWork W2914204498 @default.
- W2488538802 isParatext "false" @default.
- W2488538802 isRetracted "false" @default.
- W2488538802 magId "2488538802" @default.
- W2488538802 workType "book-chapter" @default.