1 dataset found

Tags: floating-point controllers

Filter Results

  • Control

    The dataset used in the paper is a set of control benchmarks for synthesizing floating-point controllers.
You can also access this registry using the API (see API Docs).