Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
- Mahsa Varshosaz(Creator),
- Mohsen Ghaffari(Creator),
- Einar Broch Johnsen(Creator),
- Andrzej Wasowski(Creator)
- ,
- ,
- University of Oslo
Dataset:
Dataset Types
Software
Dataset Information
Date made available
2023-06-26Publisher
ZENODODescription
Supplementary material for paper on formal specification and testing for reinforcement learning, including a VM image to facilitate reproducing experiment results and the source for the artifact.
Cite this dataset
Brief description
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski. (2023). Formal Specification and Testing for Reinforcement Learning (Supplementary Material ). 10.5281/zenodo.8083298