3 Result(s)
-
Chapter and Conference Paper
NNrepair: Constraint-Based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fa...
-
Chapter and Conference Paper
Building Better Bit-Blasting for Floating-Point Problems
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-vectors. Implementing the required encodings is complex, error prone and requires a deep understanding of flo...
-
Chapter and Conference Paper
Reachability Preservation Based Parameter Synthesis for Timed Automata
The synthesis of timing parameters consists in deriving conditions on the timing constants of a concurrent system such that it meets its specification. Parametric timed automata are a powerful formalism for pa...
