Software Open Access

Formal Specification and Testing for Reinforcement Learning (Supplementary Material )

Varshosaz, Mahsa; Ghaffari, Mohsen; Johnsen, Einar Broch; Wasowski, Andrzej

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.

Files (2.4 GB)
Name Size
artifact.tar.gz
md5:884bb08afdf78b0932d9aed985b62710 		9.7 MB Download
vm-image.tar.gz
md5:b608f60054f87293f787ed10855ba0bb 		2.4 GB Download
121
30
views
downloads
All versions This version
Views 12173
Downloads 308
Data volume 29.3 GB9.5 GB
Unique views 7944
Unique downloads 225
More info on how stats are collected.
Indexed in
Publication date:
June 26, 2023
DOI:
10.5281/zenodo.8083298

Zenodo DOI Badge

DOI 

10.5281/zenodo.8083298

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.8083298.svg)](https://doi.org/10.5281/zenodo.8083298)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.8083298.svg
   :target: https://doi.org/10.5281/zenodo.8083298

HTML 

<a href="https://doi.org/10.5281/zenodo.8083298"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8083298.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.8083298.svg

Target URL 

https://doi.org/10.5281/zenodo.8083298

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.8083298 Jun 26, 2023
Version 1 10.5281/zenodo.7992896 May 31, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7992895. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export