Smart Home Benchmark

The dataset is used for synthesizing properties over smart home applications.

Data and Resources

Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Explore
- Preview
- Download

Gideon Geier, Philippe Heim, Felix Klein, Marvin Stenger (2024). Dataset: Smart Home Benchmark. https://doi.org/10.57702/2wm4xr5p

DOI retrieved: December 3, 2024

Field	Value
Created	December 3, 2024
Last update	December 3, 2024
Author	Gideon Geier
More Authors	Philippe Heim Felix Klein Marvin Stenger
Homepage	https://github.com/SYNTCOMP/benchmarks