Matches in SemOpenAlex for { <https://semopenalex.org/work/W3008205783> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3008205783 abstract "Due to extensive applications of deep learning and neural networks, their security has attracted more and more attentions from academic and industrial circles. Under the guidance of the theory of formal verification, this paper summarizes three basic problems which indicate the common features of different neural networks, and proposes three typical properties covering the correctness of a model, the correctness of a sample and the robustness of a model for neural network systems. The method is driven by these properties, the model is constructed using the MSVL language and the properties are characterized by the logic PPTL. On this basis, the modeling and verification process is done in the MC compiler." @default.
- W3008205783 created "2020-03-06" @default.
- W3008205783 creator A5012788495 @default.
- W3008205783 creator A5012808924 @default.
- W3008205783 creator A5029605914 @default.
- W3008205783 creator A5038735445 @default.
- W3008205783 creator A5074622138 @default.
- W3008205783 date "2020-01-01" @default.
- W3008205783 modified "2023-09-23" @default.
- W3008205783 title "Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework" @default.
- W3008205783 cites W1511137409 @default.
- W3008205783 cites W1835747325 @default.
- W3008205783 cites W1987340323 @default.
- W3008205783 cites W2021917262 @default.
- W3008205783 cites W2039684730 @default.
- W3008205783 cites W2094571962 @default.
- W3008205783 cites W2160815625 @default.
- W3008205783 cites W2216962153 @default.
- W3008205783 cites W2543296129 @default.
- W3008205783 cites W2547284252 @default.
- W3008205783 cites W2742794271 @default.
- W3008205783 cites W2793303056 @default.
- W3008205783 cites W2893132739 @default.
- W3008205783 cites W2900584170 @default.
- W3008205783 cites W2962700793 @default.
- W3008205783 cites W2963208512 @default.
- W3008205783 cites W2963374347 @default.
- W3008205783 cites W2964089174 @default.
- W3008205783 cites W2980273018 @default.
- W3008205783 doi "https://doi.org/10.1007/978-3-030-41418-4_6" @default.
- W3008205783 hasPublicationYear "2020" @default.
- W3008205783 type Work @default.
- W3008205783 sameAs 3008205783 @default.
- W3008205783 citedByCount "2" @default.
- W3008205783 countsByYear W30082057832021 @default.
- W3008205783 countsByYear W30082057832023 @default.
- W3008205783 crossrefType "book-chapter" @default.
- W3008205783 hasAuthorship W3008205783A5012788495 @default.
- W3008205783 hasAuthorship W3008205783A5012808924 @default.
- W3008205783 hasAuthorship W3008205783A5029605914 @default.
- W3008205783 hasAuthorship W3008205783A5038735445 @default.
- W3008205783 hasAuthorship W3008205783A5074622138 @default.
- W3008205783 hasConcept C104317684 @default.
- W3008205783 hasConcept C108583219 @default.
- W3008205783 hasConcept C110251889 @default.
- W3008205783 hasConcept C111498074 @default.
- W3008205783 hasConcept C154945302 @default.
- W3008205783 hasConcept C169590947 @default.
- W3008205783 hasConcept C185592680 @default.
- W3008205783 hasConcept C199360897 @default.
- W3008205783 hasConcept C25016198 @default.
- W3008205783 hasConcept C41008148 @default.
- W3008205783 hasConcept C50644808 @default.
- W3008205783 hasConcept C55439883 @default.
- W3008205783 hasConcept C55493867 @default.
- W3008205783 hasConcept C63479239 @default.
- W3008205783 hasConcept C75606506 @default.
- W3008205783 hasConcept C80444323 @default.
- W3008205783 hasConceptScore W3008205783C104317684 @default.
- W3008205783 hasConceptScore W3008205783C108583219 @default.
- W3008205783 hasConceptScore W3008205783C110251889 @default.
- W3008205783 hasConceptScore W3008205783C111498074 @default.
- W3008205783 hasConceptScore W3008205783C154945302 @default.
- W3008205783 hasConceptScore W3008205783C169590947 @default.
- W3008205783 hasConceptScore W3008205783C185592680 @default.
- W3008205783 hasConceptScore W3008205783C199360897 @default.
- W3008205783 hasConceptScore W3008205783C25016198 @default.
- W3008205783 hasConceptScore W3008205783C41008148 @default.
- W3008205783 hasConceptScore W3008205783C50644808 @default.
- W3008205783 hasConceptScore W3008205783C55439883 @default.
- W3008205783 hasConceptScore W3008205783C55493867 @default.
- W3008205783 hasConceptScore W3008205783C63479239 @default.
- W3008205783 hasConceptScore W3008205783C75606506 @default.
- W3008205783 hasConceptScore W3008205783C80444323 @default.
- W3008205783 hasLocation W30082057831 @default.
- W3008205783 hasOpenAccess W3008205783 @default.
- W3008205783 hasPrimaryLocation W30082057831 @default.
- W3008205783 hasRelatedWork W10371176 @default.
- W3008205783 hasRelatedWork W1864419 @default.
- W3008205783 hasRelatedWork W2966141 @default.
- W3008205783 hasRelatedWork W327400 @default.
- W3008205783 hasRelatedWork W3453007 @default.
- W3008205783 hasRelatedWork W4057178 @default.
- W3008205783 hasRelatedWork W4868912 @default.
- W3008205783 hasRelatedWork W5651039 @default.
- W3008205783 hasRelatedWork W6618575 @default.
- W3008205783 hasRelatedWork W6807041 @default.
- W3008205783 isParatext "false" @default.
- W3008205783 isRetracted "false" @default.
- W3008205783 magId "3008205783" @default.
- W3008205783 workType "book-chapter" @default.