119 citations · 468 across the 39 of their papers we have counts for
3 papers · 1 filter
An Abstraction-Based Framework for Neural Network Verification
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
Deep neural networks are increasingly being used as controllers for safety-critical systems. Because neural networks are opaque, certifying their correctness is a significant chall…
Simplifying Neural Networks using Formal Verification
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca +2
Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-…
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
Guy Katz, Assaf Marron, Aviran Sadon +1
Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are d…