research
∙
08/03/2021
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
Deep learning methods can be used to produce control policies, but certi...
share
research
∙
05/07/2021
lazybvtoint at the SMT Competition 2020
lazybvtoint is a new prototype SMT-solver, that will participate in the ...
research
∙
01/18/2021
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
We develop a framework for model checking infinite-state systems by auto...
research
∙
04/17/2020
Parallelization Techniques for Verifying Neural Networks
Inspired by recent successes with parallel optimization techniques for s...
research
∙
01/26/2018
Satisfiability Modulo Transcendental Functions via Incremental Linearization
In this paper we present an abstraction-refinement approach to Satisfiab...
research
∙
01/26/2018