Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Tags: controller synthesis Filter Results Line Transfer System The dataset used in the paper is a discrete event system, specifically a line transfer system, with various parameters such as the number of machines, workloads, and buffer... Dataset JSON