FRINK Linked Data Fragments server

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

• W4375852012 abstract "Most deep neural network (DNN) verification research focuses on qualitative verification, which answers whether or not a DNN violates a safety/robustness property. This paper proposes an approach to convert qualitative verification into quantitative verification for neural networks. The resulting quantitative verification method not only can answer YES or NO questions but also can compute the probability of a property being violated. To do that, we introduce the concept of a probabilistic star (or shortly ProbStar), a new variant of the well-known star set, in which the predicate variables belong to a Gaussian distribution and propose an approach to compute the probability of a probabilistic star in high-dimensional space. Unlike existing works dealing with constrained input sets, our work considers the input set as a truncated multivariate normal (Gaussian) distribution, i.e., besides the constraints on the input variables, the input set has a probability of the constraints being satisfied. The input distribution is represented as a probabilistic star set and is propagated through a network to construct the output reachable set containing multiple ProbStars, which are used to verify the safety or robustness properties of the network. In case of a property is violated, the violation probability can be computed precisely by an exact verification algorithm or approximately by an overapproximate verification algorithm. The proposed approach is implemented in a tool named StarV and is evaluated using the well-known ACASXu networks and a rocket landing benchmark." @default.
• W4375852012 created "2023-05-10" @default.
• W4375852012 creator A5023289374 @default.
• W4375852012 creator A5035243085 @default.
• W4375852012 creator A5040869301 @default.
• W4375852012 creator A5044251694 @default.
• W4375852012 creator A5058732387 @default.
• W4375852012 creator A5061971606 @default.
• W4375852012 date "2023-05-09" @default.
• W4375852012 modified "2023-09-24" @default.
• W4375852012 title "Quantitative Verification for Neural Networks using ProbStars" @default.
• W4375852012 cites W2501830452 @default.
• W4375852012 cites W2563671384 @default.
• W4375852012 cites W2594877703 @default.
• W4375852012 cites W2734705105 @default.
• W4375852012 cites W2791251367 @default.
• W4375852012 cites W2900153411 @default.
• W4375852012 cites W2955171822 @default.
• W4375852012 cites W2957311447 @default.
• W4375852012 cites W2989358546 @default.
• W4375852012 cites W3012424690 @default.
• W4375852012 cites W3022362085 @default.
• W4375852012 cites W3043655933 @default.
• W4375852012 cites W3046272654 @default.
• W4375852012 cites W3046662910 @default.
• W4375852012 cites W3098919244 @default.
• W4375852012 cites W3106380050 @default.
• W4375852012 cites W3157912243 @default.
• W4375852012 cites W3183549096 @default.
• W4375852012 cites W3184678361 @default.
• W4375852012 cites W3186627997 @default.
• W4375852012 cites W3208555259 @default.
• W4375852012 cites W4283212640 @default.
• W4375852012 cites W2603150469 @default.
• W4375852012 doi "https://doi.org/10.1145/3575870.3587112" @default.
• W4375852012 hasPublicationYear "2023" @default.
• W4375852012 type Work @default.
• W4375852012 citedByCount "0" @default.
• W4375852012 crossrefType "proceedings-article" @default.
• W4375852012 hasAuthorship W4375852012A5023289374 @default.
• W4375852012 hasAuthorship W4375852012A5035243085 @default.
• W4375852012 hasAuthorship W4375852012A5040869301 @default.
• W4375852012 hasAuthorship W4375852012A5044251694 @default.
• W4375852012 hasAuthorship W4375852012A5058732387 @default.
• W4375852012 hasAuthorship W4375852012A5061971606 @default.
• W4375852012 hasConcept C104317684 @default.
• W4375852012 hasConcept C105795698 @default.
• W4375852012 hasConcept C111472728 @default.
• W4375852012 hasConcept C11413529 @default.
• W4375852012 hasConcept C119857082 @default.
• W4375852012 hasConcept C121332964 @default.
• W4375852012 hasConcept C124101348 @default.
• W4375852012 hasConcept C138885662 @default.
• W4375852012 hasConcept C149441793 @default.
• W4375852012 hasConcept C154945302 @default.
• W4375852012 hasConcept C161584116 @default.
• W4375852012 hasConcept C163716315 @default.
• W4375852012 hasConcept C177384507 @default.
• W4375852012 hasConcept C185592680 @default.
• W4375852012 hasConcept C189950617 @default.
• W4375852012 hasConcept C33923547 @default.
• W4375852012 hasConcept C41008148 @default.
• W4375852012 hasConcept C49937458 @default.
• W4375852012 hasConcept C50644808 @default.
• W4375852012 hasConcept C55493867 @default.
• W4375852012 hasConcept C62520636 @default.
• W4375852012 hasConcept C63479239 @default.
• W4375852012 hasConcept C80444323 @default.
• W4375852012 hasConceptScore W4375852012C104317684 @default.
• W4375852012 hasConceptScore W4375852012C105795698 @default.
• W4375852012 hasConceptScore W4375852012C111472728 @default.
• W4375852012 hasConceptScore W4375852012C11413529 @default.
• W4375852012 hasConceptScore W4375852012C119857082 @default.
• W4375852012 hasConceptScore W4375852012C121332964 @default.
• W4375852012 hasConceptScore W4375852012C124101348 @default.
• W4375852012 hasConceptScore W4375852012C138885662 @default.
• W4375852012 hasConceptScore W4375852012C149441793 @default.
• W4375852012 hasConceptScore W4375852012C154945302 @default.
• W4375852012 hasConceptScore W4375852012C161584116 @default.
• W4375852012 hasConceptScore W4375852012C163716315 @default.
• W4375852012 hasConceptScore W4375852012C177384507 @default.
• W4375852012 hasConceptScore W4375852012C185592680 @default.
• W4375852012 hasConceptScore W4375852012C189950617 @default.
• W4375852012 hasConceptScore W4375852012C33923547 @default.
• W4375852012 hasConceptScore W4375852012C41008148 @default.
• W4375852012 hasConceptScore W4375852012C49937458 @default.
• W4375852012 hasConceptScore W4375852012C50644808 @default.
• W4375852012 hasConceptScore W4375852012C55493867 @default.
• W4375852012 hasConceptScore W4375852012C62520636 @default.
• W4375852012 hasConceptScore W4375852012C63479239 @default.
• W4375852012 hasConceptScore W4375852012C80444323 @default.
• W4375852012 hasLocation W43758520121 @default.
• W4375852012 hasOpenAccess W4375852012 @default.
• W4375852012 hasPrimaryLocation W43758520121 @default.
• W4375852012 hasRelatedWork W2010654082 @default.
• W4375852012 hasRelatedWork W2104258858 @default.
• W4375852012 hasRelatedWork W2106441401 @default.
• W4375852012 hasRelatedWork W2130495017 @default.
• W4375852012 hasRelatedWork W2145642206 @default.
• W4375852012 hasRelatedWork W2162708400 @default.

• next