@misc{indiciae00cb9dff60cf,
  title = {Complexity of Verification and Synthesis of Threshold Automata},
  author = {A. R. Balasubramanian and Javier Esparza and Marijana Lazic},
  year = {2025},
  url = {https://arxiv.org/abs/2007.06248},
  note = {Source identifier: 2007.06248}
}