Marko Kleine Büning
Intern at zeb consulting
Neural networks are increasingly applied in safety critical domains, the...
As neural networks (NNs) are increasingly introduced into safety-critica...
Decision procedures for SMT problems based on the theory of bit-vectors ...
This paper describes a novel unbounded software model checking approach ...