Dataset Groups Activity Stream Control The dataset used in the paper is a set of control benchmarks for synthesizing floating-point controllers. BibTex: @dataset{Elizabeth_Polgreen_and_Andrew_Reynolds_and_Sanjit_A_Seshia_2024, abstract = {The dataset used in the paper is a set of control benchmarks for synthesizing floating-point controllers.}, author = {Elizabeth Polgreen and Andrew Reynolds and Sanjit A. Seshia}, doi = {10.57702/sv7wjt41}, institution = {No Organization}, keyword = {'control systems', 'floating-point controllers'}, month = {dec}, publisher = {TIB}, title = {Control}, url = {https://service.tib.eu/ldmservice/dataset/control}, year = {2024} }
