Gray-Box Monitoring of Hyperproperties | Publicación