@misc{indiciaedf549d80517a,
  title = {Monitoring Hyperproperties over Observed and Constructed Traces},
  author = {Marek Chalupa and Thomas A. Henzinger and Ana Oliveira da Costa},
  year = {2025},
  url = {https://arxiv.org/abs/2508.02301},
  note = {Source identifier: 2508.02301}
}