scientific article
From MaRDI portal
Publication:3005896
zbMath1214.68370MaRDI QIDQ3005896
Luca Pulina, Armando Tacchella
Publication date: 10 June 2011
Full work available at URL: http://iospress.metapress.com/content/q546437767700727/fulltext.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Small Resolution Proofs for QBF using Dependency Treewidth ⋮ \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks ⋮ Reachability analysis of deep ReLU neural networks using facet-vertex incidence ⋮ \textsc{NeVer}: a tool for artificial neural networks verification ⋮ Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis ⋮ Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). ⋮ An Experimental Study of the Treewidth of Real-World Graph Data
Uses Software
This page was built for publication:
