FRINK Linked Data Fragments server

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

• W3022596661 abstract "Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems. However, the inherent complexity to rigorously assure the safe operation of such systems hinders their real-world adoption in safety-critical domains such as aerospace and medical devices. Hence, there is a surge in interest to explore the use of advanced mathematical techniques such as formal methods to address this challenge. In fact, the initial results of such efforts are promising. Along these lines, we propose the use of quantifier elimination (QE) - a formal method technique, as a complimentary technique to the state-of-the-art static analysis and verification procedures. Using an airborne collision avoidance DNN as a case example, we illustrate the use of QE to formulate the precise range forward propagation through a network as well as analyze its robustness. We discuss the initial results of this ongoing work and explore the future possibilities of extending this approach and/or integrating it with other approaches to perform advanced safety assurance of DNNs." @default.
• W3022596661 created "2020-05-13" @default.
• W3022596661 creator A5027990362 @default.
• W3022596661 creator A5028294527 @default.
• W3022596661 creator A5069821777 @default.
• W3022596661 date "2019-09-01" @default.
• W3022596661 modified "2023-10-14" @default.
• W3022596661 title "Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks" @default.
• W3022596661 cites W1507872748 @default.
• W3022596661 cites W1553142094 @default.
• W3022596661 cites W1592788962 @default.
• W3022596661 cites W1986264093 @default.
• W3022596661 cites W2007074311 @default.
• W3022596661 cites W2104715607 @default.
• W3022596661 cites W2565186948 @default.
• W3022596661 cites W2740472706 @default.
• W3022596661 cites W2754537581 @default.
• W3022596661 cites W2889555671 @default.
• W3022596661 cites W2896500468 @default.
• W3022596661 cites W2962700793 @default.
• W3022596661 cites W2963178695 @default.
• W3022596661 cites W2968696196 @default.
• W3022596661 cites W3103557498 @default.
• W3022596661 cites W4229917934 @default.
• W3022596661 doi "https://doi.org/10.1109/dasc43569.2019.9081635" @default.
• W3022596661 hasPublicationYear "2019" @default.
• W3022596661 type Work @default.
• W3022596661 sameAs 3022596661 @default.
• W3022596661 citedByCount "4" @default.
• W3022596661 countsByYear W30225966612021 @default.
• W3022596661 countsByYear W30225966612022 @default.
• W3022596661 crossrefType "proceedings-article" @default.
• W3022596661 hasAuthorship W3022596661A5027990362 @default.
• W3022596661 hasAuthorship W3022596661A5028294527 @default.
• W3022596661 hasAuthorship W3022596661A5069821777 @default.
• W3022596661 hasBestOaLocation W30225966612 @default.
• W3022596661 hasConcept C104317684 @default.
• W3022596661 hasConcept C108583219 @default.
• W3022596661 hasConcept C110251889 @default.
• W3022596661 hasConcept C111498074 @default.
• W3022596661 hasConcept C112805685 @default.
• W3022596661 hasConcept C113775141 @default.
• W3022596661 hasConcept C115903868 @default.
• W3022596661 hasConcept C119857082 @default.
• W3022596661 hasConcept C120314980 @default.
• W3022596661 hasConcept C127413603 @default.
• W3022596661 hasConcept C146978453 @default.
• W3022596661 hasConcept C154945302 @default.
• W3022596661 hasConcept C167740415 @default.
• W3022596661 hasConcept C185592680 @default.
• W3022596661 hasConcept C199360897 @default.
• W3022596661 hasConcept C200601418 @default.
• W3022596661 hasConcept C206880738 @default.
• W3022596661 hasConcept C2984842247 @default.
• W3022596661 hasConcept C32278780 @default.
• W3022596661 hasConcept C41008148 @default.
• W3022596661 hasConcept C50644808 @default.
• W3022596661 hasConcept C55493867 @default.
• W3022596661 hasConcept C63479239 @default.
• W3022596661 hasConcept C75606506 @default.
• W3022596661 hasConcept C80444323 @default.
• W3022596661 hasConceptScore W3022596661C104317684 @default.
• W3022596661 hasConceptScore W3022596661C108583219 @default.
• W3022596661 hasConceptScore W3022596661C110251889 @default.
• W3022596661 hasConceptScore W3022596661C111498074 @default.
• W3022596661 hasConceptScore W3022596661C112805685 @default.
• W3022596661 hasConceptScore W3022596661C113775141 @default.
• W3022596661 hasConceptScore W3022596661C115903868 @default.
• W3022596661 hasConceptScore W3022596661C119857082 @default.
• W3022596661 hasConceptScore W3022596661C120314980 @default.
• W3022596661 hasConceptScore W3022596661C127413603 @default.
• W3022596661 hasConceptScore W3022596661C146978453 @default.
• W3022596661 hasConceptScore W3022596661C154945302 @default.
• W3022596661 hasConceptScore W3022596661C167740415 @default.
• W3022596661 hasConceptScore W3022596661C185592680 @default.
• W3022596661 hasConceptScore W3022596661C199360897 @default.
• W3022596661 hasConceptScore W3022596661C200601418 @default.
• W3022596661 hasConceptScore W3022596661C206880738 @default.
• W3022596661 hasConceptScore W3022596661C2984842247 @default.
• W3022596661 hasConceptScore W3022596661C32278780 @default.
• W3022596661 hasConceptScore W3022596661C41008148 @default.
• W3022596661 hasConceptScore W3022596661C50644808 @default.
• W3022596661 hasConceptScore W3022596661C55493867 @default.
• W3022596661 hasConceptScore W3022596661C63479239 @default.
• W3022596661 hasConceptScore W3022596661C75606506 @default.
• W3022596661 hasConceptScore W3022596661C80444323 @default.
• W3022596661 hasLocation W30225966611 @default.
• W3022596661 hasLocation W30225966612 @default.
• W3022596661 hasOpenAccess W3022596661 @default.
• W3022596661 hasPrimaryLocation W30225966611 @default.
• W3022596661 hasRelatedWork W1522734007 @default.
• W3022596661 hasRelatedWork W1526577506 @default.
• W3022596661 hasRelatedWork W1555957476 @default.
• W3022596661 hasRelatedWork W1630345343 @default.
• W3022596661 hasRelatedWork W2084069859 @default.
• W3022596661 hasRelatedWork W2183648353 @default.
• W3022596661 hasRelatedWork W290114431 @default.
• W3022596661 hasRelatedWork W2974552516 @default.
• W3022596661 hasRelatedWork W3022596661 @default.
• W3022596661 hasRelatedWork W3193857078 @default.

• next