2 datasets found

The dataset is used to evaluate the performance of the STL kernel for signal temporal logic.

The dataset used in this paper is a collection of biochemical reaction networks with special topologies, called weak reversibility (WR) and zero deficiency (ZD), and their...