@misc{indiciaec6aeb5825864,
  title = {sweap: Reactive Synthesis for Infinite-State Integer Problems},
  author = {Shaun Azzopardi and Luca Di Stefano and Nir Piterman},
  year = {2026},
  url = {https://arxiv.org/abs/2605.11992},
  note = {Source identifier: 2605.11992}
}