ARCH-COMP 2020 Category Report: Falsification.
Gidon ErnstPaolo ArcainiIsmail BennaniAlexandre DonzéGeorgios FainekosGoran FrehseLogan MathesenClaudio MenghiGiulia PedrielliMarc PouzetShakiba YaghoubiYoriyuki YamagataZhenya ZhangPublished in: ARCH (2020)