1 citations · 1 across the 2 of their papers we have counts for
3 papers
Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks
Tomáš Kolárik, Faezeh Labbaf, Fabrizio Leopardi +3
Formal explainability of classifying neural networks (NNs) is an active area of research, providing explanations with provable guarantees of the classification within continuous re…
Termination analysis with interpolation-based transition invariant generation
Konstantin Britikov, Martin Blicha, Grigory Fedyukovich +1
Termination and nontermination of infinite-state systems are complementary problems that, despite their close connection, are typically addressed by separate techniques. The core i…
Space Explanations of Neural Network Classification
Faezeh Labbaf, Tomáš Kolárik, Martin Blicha +3
We present a novel logic-based concept called Space Explanations for classifying neural networks that gives provable guarantees of the behavior of the network in continuous areas o…