Login / Signup
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).
Dirk Beyer
Published in:
TACAS (2016)
Keyphrases
</>
data sets
case study
low cost
cost effective
real time
object recognition
databases
data mining
expert systems
mobile robot
poor quality