Software Open Access

Adapting Behaviors via Reactive Synthesis: CAV 2021 Artifact

Martinelli Tabajara, Lucas

Docker image submitted as part of Artifact Evaluation for the paper "Adapting Behaviors via Reactive Synthesis" at CAV 2021. Includes source code of SGR(k) tool and scripts for reproducing results presented in the paper.

Files (126.8 MB)
Name Size
CAV2021-AE-180.tar.gz
md5:1b170c437d00c71c059d80d3a1ef65d6 		126.8 MB Download
132
9
views
downloads
All versions This version
Views 132132
Downloads 99
Data volume 1.1 GB1.1 GB
Unique views 127127
Unique downloads 99
More info on how stats are collected.
Indexed in
Publication date:
April 29, 2021
DOI:
10.5281/zenodo.4726692

Zenodo DOI Badge

DOI 

10.5281/zenodo.4726692

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Meeting:
33rd International Conference on Computer-Aided Verification (CAV 2021)
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4726692 Apr 29, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4726691. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export