Martinelli Tabajara, Lucas
2021-04-29
<p>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.</p>
https://doi.org/10.5281/zenodo.4726692
oai:zenodo.org:4726692
Zenodo
https://doi.org/10.5281/zenodo.4726691
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
CAV 2021, 33rd International Conference on Computer-Aided Verification
Adapting Behaviors via Reactive Synthesis: CAV 2021 Artifact
info:eu-repo/semantics/other