ATVA'24 Artifact: Fast Koopman Surrogate Falsification using Linear Relaxations and Weights

There is a newer version of the record available.

Published July 1, 2024 | Version v2

Publication Open

Files

Name	Size	Download all
docker-artifact-atva24.zip md5:89c59f6b5146438ac3c6d318247e36de	35.2 MB	Preview Download

129

Views

Downloads

Show more details

DOI

Resource type

Publication

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more; MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more