Statistics
Publications
6
Citations
131
H-Index
6
Active since
2013
Affiliations
University of Freiburg(Current)
Karsten Scheibler is an author at University of Freiburg specializing in computer engineering, computing, and computer science.
Publications per year
2013–2016
6
6
Towards Verification of Artificial Neural Networks.
Karsten Scheibler, Leonore Winterer, Ralf Wimmer et al. · MBMV · 2015 · 47 citations
Recent Improvements in the SMT Solver iSAT.
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker · MBMV · 2013 · 26 citations
Accurate ICP-based floating-point reasoning
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi et al. · 2016 · 12 citations
1–5 of 6