Dataset Groups Activity Stream Smart Home Benchmark The dataset is used for synthesizing properties over smart home applications. BibTex: @dataset{Gideon_Geier_and_Philippe_Heim_and_Felix_Klein_and_Marvin_Stenger_2024, abstract = {The dataset is used for synthesizing properties over smart home applications.}, author = {Gideon Geier and Philippe Heim and Felix Klein and Marvin Stenger}, doi = {10.57702/2wm4xr5p}, institution = {No Organization}, keyword = {'property synthesis', 'smart home'}, month = {dec}, publisher = {TIB}, title = {Smart Home Benchmark}, url = {https://service.tib.eu/ldmservice/dataset/smart-home-benchmark}, year = {2024} }
