TY  - RPRT
TI  - Gray-box Monitoring of Hyperproperties (Extended Version)
AU  - Sandro Stucki
AU  - César Sánchez
AU  - Gerardo Schneider
AU  - Borzoo Bonakdarpour
PY  - 2019
DO  - 10.1007/978-3-030-30942-8_25
UR  - https://arxiv.org/abs/1906.08731
ID  - 1906.08731
ER  -