Matches in SemOpenAlex for { <https://semopenalex.org/work/W3212074741> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3212074741 endingPage "740" @default.
- W3212074741 startingPage "730" @default.
- W3212074741 abstract "Neural networks are being increasingly used for efficient decision making in the aircraft domain. Given the safety-critical nature of the applications involved, stringent safety requirements must be met by these networks. In this work we present a formal study of two neural network-based systems developed by Boeing. The Venus verifier is used to analyse the conditions under which these systems can operate safely, or generate counterexamples that show when safety cannot be guaranteed. Our results confirm the applicability of formal verification to the settings considered." @default.
- W3212074741 created "2021-11-22" @default.
- W3212074741 creator A5015045050 @default.
- W3212074741 creator A5019810653 @default.
- W3212074741 creator A5033325572 @default.
- W3212074741 creator A5042517380 @default.
- W3212074741 creator A5043590673 @default.
- W3212074741 creator A5056894273 @default.
- W3212074741 creator A5077577005 @default.
- W3212074741 date "2021-01-01" @default.
- W3212074741 modified "2023-09-29" @default.
- W3212074741 title "Formal Analysis of Neural Network-Based Systems in the Aircraft Domain" @default.
- W3212074741 cites W2108598243 @default.
- W3212074741 cites W2165073069 @default.
- W3212074741 cites W2594877703 @default.
- W3212074741 cites W2901816197 @default.
- W3212074741 cites W2905299363 @default.
- W3212074741 cites W2919115771 @default.
- W3212074741 cites W2963334980 @default.
- W3212074741 cites W2963668975 @default.
- W3212074741 cites W2963673089 @default.
- W3212074741 cites W2998574230 @default.
- W3212074741 cites W3043655933 @default.
- W3212074741 cites W3046662910 @default.
- W3212074741 cites W3113369941 @default.
- W3212074741 doi "https://doi.org/10.1007/978-3-030-90870-6_41" @default.
- W3212074741 hasPublicationYear "2021" @default.
- W3212074741 type Work @default.
- W3212074741 sameAs 3212074741 @default.
- W3212074741 citedByCount "2" @default.
- W3212074741 countsByYear W32120747412023 @default.
- W3212074741 crossrefType "book-chapter" @default.
- W3212074741 hasAuthorship W3212074741A5015045050 @default.
- W3212074741 hasAuthorship W3212074741A5019810653 @default.
- W3212074741 hasAuthorship W3212074741A5033325572 @default.
- W3212074741 hasAuthorship W3212074741A5042517380 @default.
- W3212074741 hasAuthorship W3212074741A5043590673 @default.
- W3212074741 hasAuthorship W3212074741A5056894273 @default.
- W3212074741 hasAuthorship W3212074741A5077577005 @default.
- W3212074741 hasBestOaLocation W32120747412 @default.
- W3212074741 hasConcept C111498074 @default.
- W3212074741 hasConcept C115903868 @default.
- W3212074741 hasConcept C118615104 @default.
- W3212074741 hasConcept C127413603 @default.
- W3212074741 hasConcept C132835097 @default.
- W3212074741 hasConcept C134306372 @default.
- W3212074741 hasConcept C154945302 @default.
- W3212074741 hasConcept C162838799 @default.
- W3212074741 hasConcept C200601418 @default.
- W3212074741 hasConcept C33923547 @default.
- W3212074741 hasConcept C36503486 @default.
- W3212074741 hasConcept C41008148 @default.
- W3212074741 hasConcept C50644808 @default.
- W3212074741 hasConcept C75606506 @default.
- W3212074741 hasConcept C80444323 @default.
- W3212074741 hasConceptScore W3212074741C111498074 @default.
- W3212074741 hasConceptScore W3212074741C115903868 @default.
- W3212074741 hasConceptScore W3212074741C118615104 @default.
- W3212074741 hasConceptScore W3212074741C127413603 @default.
- W3212074741 hasConceptScore W3212074741C132835097 @default.
- W3212074741 hasConceptScore W3212074741C134306372 @default.
- W3212074741 hasConceptScore W3212074741C154945302 @default.
- W3212074741 hasConceptScore W3212074741C162838799 @default.
- W3212074741 hasConceptScore W3212074741C200601418 @default.
- W3212074741 hasConceptScore W3212074741C33923547 @default.
- W3212074741 hasConceptScore W3212074741C36503486 @default.
- W3212074741 hasConceptScore W3212074741C41008148 @default.
- W3212074741 hasConceptScore W3212074741C50644808 @default.
- W3212074741 hasConceptScore W3212074741C75606506 @default.
- W3212074741 hasConceptScore W3212074741C80444323 @default.
- W3212074741 hasLocation W32120747411 @default.
- W3212074741 hasLocation W32120747412 @default.
- W3212074741 hasOpenAccess W3212074741 @default.
- W3212074741 hasPrimaryLocation W32120747411 @default.
- W3212074741 hasRelatedWork W1503941568 @default.
- W3212074741 hasRelatedWork W1524361563 @default.
- W3212074741 hasRelatedWork W1591738378 @default.
- W3212074741 hasRelatedWork W2072697836 @default.
- W3212074741 hasRelatedWork W2562928796 @default.
- W3212074741 hasRelatedWork W2605218250 @default.
- W3212074741 hasRelatedWork W2783678835 @default.
- W3212074741 hasRelatedWork W3046267030 @default.
- W3212074741 hasRelatedWork W3091728393 @default.
- W3212074741 hasRelatedWork W61995002 @default.
- W3212074741 isParatext "false" @default.
- W3212074741 isRetracted "false" @default.
- W3212074741 magId "3212074741" @default.
- W3212074741 workType "book-chapter" @default.