ARCH-COMP 2023 Category Report: Falsification - Validation
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.
Näytä enemmänJulkaisuvuosi
2023
Aineiston tyyppi
Tekijät
Arizona State University
Giulia Pedrielli - Tekijä
Tanmay Khandait - Tekijä
Walstan Baptista - Tekijä
Indian Association for the Cultivation of Science, Kolkata, India
Atanu Kundu - Tekijä
Rajarshi Ray - Tekijä
Sauvik Gon - Tekijä
Kyoto University
Masaki Waga - Tekijä
Kyushu University
Zhenya Zhang - Tekijä
Ludwig-Maximilians-University (LMU)
Gidon Ernst - Tekijä
McMaster University
Federico Formica - Tekijä
National Institute of Informatics
Paolo Arcaini - Tekijä
Toyota Motor North America
Georgios Fainekos - Tekijä
University of Bergamo
Claudio Menghi - Tekijä
Zenodo - Julkaisija
Ivan Porres 
Jarkko Peltomäki - Tekijä
Projekti
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kieli
Saatavuus
Avoin