@misc{dblp-journals-corr-abs-2605-00752,
  title = {HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications},
  author = {Vishnu Murali and Amin Falah and Ashutosh Trivedi and Majid Zamani},
  year = {2026},
  url = {https://dblp.org/rec/journals/corr/abs-2605-00752},
  eprint = {2605.00752},
  archivePrefix = {arXiv}
}