Published June 23, 2019
| Version v1
Software
Open
Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification
Creators
- 1. University of Illinois at Urbana-Champaign, Coordinated Science Laboratory
- 2. UIUC
Description
This is an artifact evaluation submission for the paper: "Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification" that will be published in ATVA 2019
Files
ATVA19-ArtifactEval.zip
Files
(418.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8e3504e615aa383975b4eec3fff340c2
|
418.0 MB | Preview Download |