ARCH-COMP 2023 Category Report: Falsification - Validation

  • Claudio Menghi (Contributor)
  • Paolo Arcaini (Contributor)
  • Gidon Ernst (Contributor)
  • Georgios Fainekos (Contributor)
  • Federico Formica (Contributor)
  • Tanmay Khandait (Contributor)
  • Atanu Kundu (Contributor)
  • Giulia Pedrielli (Contributor)
  • Jarkko Peltomäki (Contributor)
  • Ivan Porres (Contributor)
  • Rajarshi Ray (Contributor)
  • Masaki Waga (Contributor)
  • Zhenya Zhang (Contributor)

Dataset

Description

ARCH-COMP 2023 is an international competition on verifying continuous and hybrid systems. This archive refers to the falsification category of this competition. It contains the traces submitted for validation and the corresponding validation results.
Date made availableJun 11 2023
PublisherZenodo

Access Dataset

Cite this