ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
6
views
0
references
Top references
cited by
9
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,991
similar
All similar
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Reluplex: An efficient SMT solver for verifying deep neural networks
Author(s):
G. KATZ
,
C. BARRETT
,
DL Dill
,
K Julian
,
MJ Kochenderfer
,
C Barrett
Publication date:
2017
Journal:
Proc CAV
Read this article at
ScienceOpen
Bookmark
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Computer Vision, Deep Learning, Deep Reinforcement Learning, IoT
Data availability:
Comments
Comment on this article
Sign in to comment
Similar content
4,991
Efficiently verifiable computation on encrypted data
Authors:
Verifying the fully “Laplacianised” posterior Naïve Bayesian approach and more
Authors:
Hamse Y Mussa
,
David Marcus
,
John Mitchell
…
Enabling self-verifiable mutable content items in IPFS using Decentralized Identifiers
Authors:
Nikos Fotiou
,
Vasilios Siris
,
George Polyzos
See all similar
Cited by
9
Verification of Deep Convolutional Neural Networks Using ImageStars
Authors:
Hoang-Dung Tran
,
Stanley Bak
,
Weiming Xiang
…
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Authors:
Hoang-Dung Tran
,
Xiaodong Yang
,
Diego Manzanas Lopez
…
Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems
Authors:
Zhaodi Zhang
,
Jing Liu
,
Guanjun Liu
…
See all cited by