Datasets
- 3 results
Search results
-
WOGAN Experimental Results
Peltomäki, J. (Creator) & Porres, I. (Creator), Zenodo, 30 Sept 2024
DOI: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Dataset
-
OGAN Experimental Results
Peltomäki, J. (Creator) & Porres, I. (Creator), Zenodo, 27 Sept 2023
DOI: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Creator), Arcaini, P. (Creator), Baptista, W. (Creator), Ernst, G. (Creator), Fainekos, G. (Creator), Formica, F. (Creator), Gon, S. (Creator), Khandait, T. (Creator), Kundu, A. (Creator), Pedrielli, G. (Creator), Peltomäki, J. (Creator), Porres, I. (Creator), Ray, R. (Creator), Waga, M. (Creator) & Zhang, Z. (Creator), Zenodo, 11 Jun 2023
DOI: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Dataset