TY  - RPRT
TI  - Realizing Omega-regular Hyperproperties
AU  - Bernd Finkbeiner
AU  - Christopher Hahn
AU  - Jana Hofmann
AU  - Leander Tentrup
PY  - 2021
DO  - 10.1007/978-3-030-53291-8_4
UR  - https://arxiv.org/abs/2101.07161
ID  - 2101.07161
ER  -