@misc{indiciaedf549d80517a,
  title = {Monitoring Hyperproperties over Observed and Constructed Traces},
  author = {Marek Chalupa and Thomas A. Henzinger and Ana Oliveira da Costa},
  year = {2026},
  doi = {10.1007/978-3-032-41160-0\_22},
  url = {https://arxiv.org/abs/2508.02301},
  note = {Source identifier: 2508.02301}
}