ARCH-COMP 2023 Category Report: Falsification - Validation

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.

Year of publication

2023

Type of data

Authors

Arizona State University

Giulia Pedrielli - Creator

Tanmay Khandait - Creator

Walstan Baptista - Creator

Indian Association for the Cultivation of Science, Kolkata, India

Atanu Kundu - Creator

Rajarshi Ray - Creator

Sauvik Gon - Creator

Kyoto University

Masaki Waga - Creator

Kyushu University

Zhenya Zhang - Creator

Ludwig-Maximilians-University (LMU)

Gidon Ernst - Creator

McMaster University

Federico Formica - Creator

National Institute of Informatics

Paolo Arcaini - Creator

Toyota Motor North America

Georgios Fainekos - Creator

University of Bergamo

Claudio Menghi - Creator

Zenodo - Publisher

Åbo Akademi University

Ivan Porres - Creator

Jarkko Peltomäki - Creator

Project

Other information

Fields of science

Computer and information sciences

Language

Open access

Open

License

Creative Commons Attribution 4.0 International (CC BY 4.0)

Keywords

evaluation, Benchmarking, cyber-physical systems, Falsification, Friendly Competition

Subject headings

Temporal coverage

undefined