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