Published April 29, 2021
| Version v1
Software
Open
Adapting Behaviors via Reactive Synthesis: CAV 2021 Artifact
Description
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
Files
(126.8 MB)
Name | Size | Download all |
---|---|---|
md5:1b170c437d00c71c059d80d3a1ef65d6
|
126.8 MB | Download |