Mahsa Varshosaz

Søgeresultater

• 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