@misc{indiciae3b8d785b831d,
  title = {Coinductive Proofs for Temporal Hyperliveness},
  author = {Arthur Correnson and Bernd Finkbeiner},
  year = {2025},
  url = {https://arxiv.org/abs/2501.07920},
  note = {Source identifier: 2501.07920}
}