@misc{indiciaeac7e2fdc2331,
  title = {Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings},
  author = {Raz Lotan and Neta Elad and Oded Padon and Sharon Shoham},
  year = {2026},
  url = {https://arxiv.org/abs/2601.13325},
  note = {Source identifier: 2601.13325}
}