You're currently viewing an old version of this dataset. To see the current version, click here.

Smart Home Benchmark

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

Data and Resources

Cite this as

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

DOI retrieved: December 3, 2024

Additional Info

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