counterSharp 1. Jan 2021· Samuel Teuber , Alexander Weigl · 0 min read Cite Code DOI Type Software Last updated on 1. Jan 2021 Formal Methods Program Analysis Quantification Authors Samuel Teuber PhD Candidate Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness. ← Quantifying Software Reliability via Model-Counting 23. Aug 2021 An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors 23. Aug 2020 →
