ARCH-COMP 2023 Category Report: Falsification - Validation

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

Tietoaineisto

Kuvaus

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.
Koska saatavilla11 kesäk. 2023
JulkaisijaZenodo

Pääsy aineistoon

Viittausmuodot