Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301181330> ?p ?o ?g. }
- W4301181330 endingPage "354" @default.
- W4301181330 startingPage "341" @default.
- W4301181330 abstract "Abstract This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learning. This model may then be analyzed using model checking as a verification technique. The term property-directed reflects the idea that our procedure is guided and controlled by the given property rather than performing the two steps separately. We show that this not only allows us to discover small counterexamples fast, but also to generalize them by pumping toward faulty flows hinting at the underlying error in the RNN. We also show that our method can be efficiently used for adversarial robustness certification of RNNs." @default.
- W4301181330 created "2022-10-04" @default.
- W4301181330 creator A5002397514 @default.
- W4301181330 creator A5006881035 @default.
- W4301181330 creator A5014473489 @default.
- W4301181330 creator A5034067129 @default.
- W4301181330 creator A5051788925 @default.
- W4301181330 creator A5055773964 @default.
- W4301181330 creator A5064701353 @default.
- W4301181330 creator A5078181730 @default.
- W4301181330 creator A5080485972 @default.
- W4301181330 creator A5082538918 @default.
- W4301181330 date "2022-11-16" @default.
- W4301181330 modified "2023-10-06" @default.
- W4301181330 title "Analysis of recurrent neural networks via property-directed verification of surrogate models" @default.
- W4301181330 cites W107790019 @default.
- W4301181330 cites W1520252399 @default.
- W4301181330 cites W1793241515 @default.
- W4301181330 cites W1989445634 @default.
- W4301181330 cites W2001959333 @default.
- W4301181330 cites W2040102554 @default.
- W4301181330 cites W2053987251 @default.
- W4301181330 cites W2064675550 @default.
- W4301181330 cites W2099070536 @default.
- W4301181330 cites W2140606869 @default.
- W4301181330 cites W2157331557 @default.
- W4301181330 cites W2158395308 @default.
- W4301181330 cites W2169415433 @default.
- W4301181330 cites W2583228413 @default.
- W4301181330 cites W2802543576 @default.
- W4301181330 cites W2888585419 @default.
- W4301181330 cites W2905299363 @default.
- W4301181330 cites W2977245035 @default.
- W4301181330 cites W2979249584 @default.
- W4301181330 cites W2997095483 @default.
- W4301181330 cites W3036139953 @default.
- W4301181330 cites W3037629243 @default.
- W4301181330 cites W3081140620 @default.
- W4301181330 cites W3096553286 @default.
- W4301181330 cites W3102139284 @default.
- W4301181330 cites W3107908938 @default.
- W4301181330 cites W3123477784 @default.
- W4301181330 cites W3128720655 @default.
- W4301181330 cites W315890393 @default.
- W4301181330 cites W3184424313 @default.
- W4301181330 cites W3206992005 @default.
- W4301181330 cites W4233413206 @default.
- W4301181330 cites W4233906183 @default.
- W4301181330 cites W4238893454 @default.
- W4301181330 cites W4246893100 @default.
- W4301181330 doi "https://doi.org/10.1007/s10009-022-00684-w" @default.
- W4301181330 hasPublicationYear "2022" @default.
- W4301181330 type Work @default.
- W4301181330 citedByCount "2" @default.
- W4301181330 countsByYear W43011813302022 @default.
- W4301181330 countsByYear W43011813302023 @default.
- W4301181330 crossrefType "journal-article" @default.
- W4301181330 hasAuthorship W4301181330A5002397514 @default.
- W4301181330 hasAuthorship W4301181330A5006881035 @default.
- W4301181330 hasAuthorship W4301181330A5014473489 @default.
- W4301181330 hasAuthorship W4301181330A5034067129 @default.
- W4301181330 hasAuthorship W4301181330A5051788925 @default.
- W4301181330 hasAuthorship W4301181330A5055773964 @default.
- W4301181330 hasAuthorship W4301181330A5064701353 @default.
- W4301181330 hasAuthorship W4301181330A5078181730 @default.
- W4301181330 hasAuthorship W4301181330A5080485972 @default.
- W4301181330 hasAuthorship W4301181330A5082538918 @default.
- W4301181330 hasBestOaLocation W43011813301 @default.
- W4301181330 hasConcept C104317684 @default.
- W4301181330 hasConcept C110251889 @default.
- W4301181330 hasConcept C111472728 @default.
- W4301181330 hasConcept C112505250 @default.
- W4301181330 hasConcept C11413529 @default.
- W4301181330 hasConcept C118615104 @default.
- W4301181330 hasConcept C119857082 @default.
- W4301181330 hasConcept C138885662 @default.
- W4301181330 hasConcept C147168706 @default.
- W4301181330 hasConcept C154945302 @default.
- W4301181330 hasConcept C162838799 @default.
- W4301181330 hasConcept C185592680 @default.
- W4301181330 hasConcept C189950617 @default.
- W4301181330 hasConcept C24858836 @default.
- W4301181330 hasConcept C33923547 @default.
- W4301181330 hasConcept C41008148 @default.
- W4301181330 hasConcept C50644808 @default.
- W4301181330 hasConcept C55493867 @default.
- W4301181330 hasConcept C63479239 @default.
- W4301181330 hasConcept C80444323 @default.
- W4301181330 hasConceptScore W4301181330C104317684 @default.
- W4301181330 hasConceptScore W4301181330C110251889 @default.
- W4301181330 hasConceptScore W4301181330C111472728 @default.
- W4301181330 hasConceptScore W4301181330C112505250 @default.
- W4301181330 hasConceptScore W4301181330C11413529 @default.
- W4301181330 hasConceptScore W4301181330C118615104 @default.
- W4301181330 hasConceptScore W4301181330C119857082 @default.
- W4301181330 hasConceptScore W4301181330C138885662 @default.
- W4301181330 hasConceptScore W4301181330C147168706 @default.
- W4301181330 hasConceptScore W4301181330C154945302 @default.