TY  - RPRT
TI  - Complexity of Verification and Synthesis of Threshold Automata
AU  - A. R. Balasubramanian
AU  - Javier Esparza
AU  - Marijana Lazic
PY  - 2025
UR  - https://arxiv.org/abs/2007.06248
ID  - 2007.06248
ER  -