Login / Signup

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.

Adel DokhanchiShakiba YaghoubiBardh HoxhaGeorgios Fainekos
Published in: ARCH@CPSWeek (2017)
Keyphrases
  • benchmark suite
  • data sets
  • expert systems
  • relational databases
  • artificial neural networks
  • object categories
  • inter annotator agreement