@inproceedings{22-lics-deciding-hyperproperties,
	author = {Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Kr{\"{o}}tzsch, Markus},
	editor = {Baier, Christel and Fisman, Dana},
	title = {Deciding Hyperproperties Combined with Functional Specifications},
	booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022},
	pages = {56:1--56:13},
	publisher = {{ACM}},
	year = {2022},
	url = {https://doi.org/10.1145/3531130.3533369},
	doi = {10.1145/3531130.3533369}
}