File uploads: We have fixed an issue which caused file uploads to fail. We apologise for the inconvenience it may have caused.

Published April 29, 2021 | Version v1
Software Open

Adapting Behaviors via Reactive Synthesis: CAV 2021 Artifact

  • 1. Rice University

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