Formal Specification and Testing for Reinforcement Learning

Software Quality Research (SQUARE)

University of Oslo

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning

1 resultater
- Titel
- Startdato(stigende)

Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Ophavsmand), Ghaffari, M. (Ophavsmand), Johnsen, E. B. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 26 jun. 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Datasæt: Software