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

This dataset has no data

Cite this as

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

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

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