Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288779898> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4288779898 endingPage "630" @default.
- W4288779898 startingPage "623" @default.
- W4288779898 abstract "This article details a new threat to NN formal verification that is well known in the formal verification of classical systems: errors in the learned model of a NN could cause the NN to pass formal verification on a property while violating the same property in real life. The solution to this threat for classical systems (which is expert reviews) is inadequate for NN due to their lack of explainability. Here, we propose a detection and recovery mechanism to tolerate it. This mechanism is based on a mathematical diversification of the system's model and the online verification of the formal safety properties. It was successfully implemented and validated on an application example, which, to our knowledge, is one of the most concrete NN formal verification in the literature: the Adaptive Cruise Control function of an autonomous car." @default.
- W4288779898 created "2022-07-30" @default.
- W4288779898 creator A5002132775 @default.
- W4288779898 creator A5005800419 @default.
- W4288779898 creator A5046587297 @default.
- W4288779898 creator A5067087113 @default.
- W4288779898 creator A5068084915 @default.
- W4288779898 date "2022-01-01" @default.
- W4288779898 modified "2023-10-18" @default.
- W4288779898 title "New threat on formal verification for neural networks: example and fault tolerance" @default.
- W4288779898 cites W3036286896 @default.
- W4288779898 doi "https://doi.org/10.1016/j.ifacol.2022.07.197" @default.
- W4288779898 hasPublicationYear "2022" @default.
- W4288779898 type Work @default.
- W4288779898 citedByCount "0" @default.
- W4288779898 crossrefType "journal-article" @default.
- W4288779898 hasAuthorship W4288779898A5002132775 @default.
- W4288779898 hasAuthorship W4288779898A5005800419 @default.
- W4288779898 hasAuthorship W4288779898A5046587297 @default.
- W4288779898 hasAuthorship W4288779898A5067087113 @default.
- W4288779898 hasAuthorship W4288779898A5068084915 @default.
- W4288779898 hasBestOaLocation W42887798981 @default.
- W4288779898 hasConcept C111472728 @default.
- W4288779898 hasConcept C111498074 @default.
- W4288779898 hasConcept C113168747 @default.
- W4288779898 hasConcept C115903868 @default.
- W4288779898 hasConcept C138885662 @default.
- W4288779898 hasConcept C14036430 @default.
- W4288779898 hasConcept C154945302 @default.
- W4288779898 hasConcept C189950617 @default.
- W4288779898 hasConcept C202973057 @default.
- W4288779898 hasConcept C2775924081 @default.
- W4288779898 hasConcept C38652104 @default.
- W4288779898 hasConcept C41008148 @default.
- W4288779898 hasConcept C75606506 @default.
- W4288779898 hasConcept C78458016 @default.
- W4288779898 hasConcept C80444323 @default.
- W4288779898 hasConcept C86803240 @default.
- W4288779898 hasConceptScore W4288779898C111472728 @default.
- W4288779898 hasConceptScore W4288779898C111498074 @default.
- W4288779898 hasConceptScore W4288779898C113168747 @default.
- W4288779898 hasConceptScore W4288779898C115903868 @default.
- W4288779898 hasConceptScore W4288779898C138885662 @default.
- W4288779898 hasConceptScore W4288779898C14036430 @default.
- W4288779898 hasConceptScore W4288779898C154945302 @default.
- W4288779898 hasConceptScore W4288779898C189950617 @default.
- W4288779898 hasConceptScore W4288779898C202973057 @default.
- W4288779898 hasConceptScore W4288779898C2775924081 @default.
- W4288779898 hasConceptScore W4288779898C38652104 @default.
- W4288779898 hasConceptScore W4288779898C41008148 @default.
- W4288779898 hasConceptScore W4288779898C75606506 @default.
- W4288779898 hasConceptScore W4288779898C78458016 @default.
- W4288779898 hasConceptScore W4288779898C80444323 @default.
- W4288779898 hasConceptScore W4288779898C86803240 @default.
- W4288779898 hasIssue "6" @default.
- W4288779898 hasLocation W42887798981 @default.
- W4288779898 hasLocation W42887798982 @default.
- W4288779898 hasOpenAccess W4288779898 @default.
- W4288779898 hasPrimaryLocation W42887798981 @default.
- W4288779898 hasRelatedWork W161255303 @default.
- W4288779898 hasRelatedWork W2106035292 @default.
- W4288779898 hasRelatedWork W2108860137 @default.
- W4288779898 hasRelatedWork W2148966220 @default.
- W4288779898 hasRelatedWork W2532132802 @default.
- W4288779898 hasRelatedWork W2809618173 @default.
- W4288779898 hasRelatedWork W2898126919 @default.
- W4288779898 hasRelatedWork W2981877881 @default.
- W4288779898 hasRelatedWork W4288779898 @default.
- W4288779898 hasRelatedWork W4375857205 @default.
- W4288779898 hasVolume "55" @default.
- W4288779898 isParatext "false" @default.
- W4288779898 isRetracted "false" @default.
- W4288779898 workType "article" @default.