ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
Gidon ErnstPaolo ArcainiIsmail BennaniAniruddh ChandratreAlexandre DonzéGeorgios FainekosGoran FrehseKhouloud GaaloulJun InoueTanmay KhandaitLogan MathesenClaudio MenghiGiulia PedrielliMarc PouzetMasaki WagaShakiba YaghoubiYoriyuki YamagataZhenya ZhangPublished in: ARCH@ADHS (2021)