Verifying Properties of Neural Networks

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45720-8_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq

2018English

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

2009English

New Cognitive Properties of Artificial Neural Networks

2019English

Verifying Properties of Process Definitions

ACM SIGSOFT Software Engineering Notes
2000English

Verifying Information Flow Properties of Hybrid Systems

2013English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking

Proceedings of the Institute for System Programming of the RAS
2018English

Atom Table Convolutional Neural Networks for an Accurate Prediction of Compounds Properties

npj Computational Materials
Mechanics of MaterialsMaterials ScienceSimulationComputer Science ApplicationsModeling
2019English

Specifying and Verifying Partial Order Properties Using Template MSCs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy