ARCH-COMP 2023 Category Report: Falsification - Validation

Beskrivning

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.

Visa mer

Publiceringsår

2023

Typ av data

Upphovspersoner

Arizona State University

Giulia Pedrielli - Upphovsperson

Tanmay Khandait - Upphovsperson

Walstan Baptista - Upphovsperson

Indian Association for the Cultivation of Science, Kolkata, India

Atanu Kundu - Upphovsperson

Rajarshi Ray - Upphovsperson

Sauvik Gon - Upphovsperson

Kyoto University

Masaki Waga - Upphovsperson

Kyushu University

Zhenya Zhang - Upphovsperson

Ludwig-Maximilians-University (LMU)

Gidon Ernst - Upphovsperson

McMaster University

Federico Formica - Upphovsperson

National Institute of Informatics

Paolo Arcaini - Upphovsperson

Toyota Motor North America

Georgios Fainekos - Upphovsperson

University of Bergamo

Claudio Menghi - Upphovsperson

Zenodo - Utgivare

Åbo Akademi

Ivan Porres - Upphovsperson

Jarkko Peltomäki - Upphovsperson

Projekt

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Språk

Öppen tillgång

Öppet

Licens

Creative Commons Attribution 4.0 International (CC BY 4.0)

Nyckelord

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

Ämnesord

Temporal täckning

undefined