Solving difficult SMT instances using abstractions and incremental SMT solving

1. Jan 2020·
Samuel Teuber
Samuel Teuber
· 0 min read
Type
Formal Methods
Samuel Teuber
Authors
Samuel Teuber
PhD Candidate
Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.