ARCH-COMP23 Category Report: Falsification.
Claudio MenghiPaolo ArcainiWalstan BaptistaGidon ErnstGeorgios FainekosFederico FormicaSauvik GonTanmay KhandaitAtanu KunduGiulia PedrielliJarkko PeltomäkiIvan PorresRajarshi RayMasaki WagaZhenya ZhangPublished in: ARCH (2023)