ResearchBenchmarksCyber-Physical Systems (CPS) Falsification on ARCH-COMP AFC27Cyber-Physical Systems (CPS) Falsification on ARCH-COMP AFC27Follow10Falsification Rate (FR)ATheNA7.928.4699.54May 6, 2025Evaluation resultsMethodMethodLinksFalsification Rate (FR)S-bar ScoreATheNAApproach=N/AApproach=N/A2025.0510235.8ForeSeeApproach=N/AApproach=N/A2025.051012MoonlightApproach=N/AApproach=N/A2025.051025.7FlexiFalApproach=DTFalApproach=DTFal2025.0510391.2ODApproach=ConBo-LSApproach=ConBo-LS2025.0510101.8Psi-TaLiRoApproach=PART-XApproach=PART-X2025.051034.3URApproach=N/AApproach=N/A2025.05956.2ARIsTEOApproach=ARX-2Approach=ARX-22025.058137.8