You're currently viewing an old version of this dataset. To see the current version, click here.

Control

The dataset used in the paper is a set of control benchmarks for synthesizing floating-point controllers.

Data and Resources

Cite this as

Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia (2024). Dataset: Control. https://doi.org/10.57702/sv7wjt41

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2107.13477
Author Elizabeth Polgreen
More Authors
Andrew Reynolds
Sanjit A. Seshia