• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

Adel DokhanchiShakiba YaghoubiBardh HoxhaGeorgios FainekosGidon ErnstZhenya ZhangPaolo ArcainiIchiro HasuoSean Sedwards
Published in: ARCH@ADHS (2018)
Keyphrases
  • benchmark suite
  • website
  • multi agent
  • search algorithm
  • preprocessing
  • multiresolution
  • object categories
  • inter annotator agreement