Jarkko Peltomäki

Sökresultat

• 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

• 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