@misc{indiciae70b3dfaad573,
  title = {Weakly acyclic diagrams: A data structure for infinite-state symbolic verification},
  author = {Michael Blondin and Michaël Cadilhac and Xin-Yi Cui and Philipp Czerner and Javier Esparza and Jakob Schulz},
  year = {2025},
  url = {https://arxiv.org/abs/2411.17250},
  note = {Source identifier: 2411.17250}
}