@misc{indiciaea4a018e78a4c,
  title = {Infinite State Model Checking by Learning Transitive Relations},
  author = {Florian Frohn and Jürgen Giesl},
  year = {2026},
  url = {https://arxiv.org/abs/2502.04761},
  note = {Source identifier: 2502.04761}
}