@misc{indiciae8e3cdce21e7a,
  title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems},
  author = {Oded Padon and Jochen Hoenicke and Kenneth L. McMillan and Andreas Podelski and Mooly Sagiv and Sharon Shoham},
  year = {2021},
  url = {https://arxiv.org/abs/2106.00966},
  note = {Source identifier: 2106.00966}
}