ARCH-COMP 2023 Category Report: Falsification - Validation

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

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 available11 Jun 2023
PublisherZenodo

Access Dataset

Cite this