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

Share

Cite as