ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, Claudio;Arcaini, Paolo;Baptista, Walstan;Ernst, Gidon;Fainekos, Georgios;Formica, Federico;Gon, Sauvik;Khandait, Tanmay;Kundu, Atanu;Pedrielli, Giulia;Peltomäki, Jarkko;Porres, Ivan;Ray, Rajarshi;Waga, Masaki;Zhang, Zhenya
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.
Citations (0)
No citations found
It looks like this dataset has no citations.
Mentions (0)
No mentions found
It looks like this dataset has not been mentioned in any sources.
Metrics Over Time
Publication Details
DOI
Publisher
Zenodo
Subfield
Management Science and Operations Research
Field
Decision Sciences
Domain
Social Sciences
Confidence Score
42%
Source
Scholar Data Model
Keywords
Benchmarking, Cyber-Physical Systems, Evaluation, Falsification, Friendly Competition