TY  - RPRT
TI  - TACO: A Toolsuite for the Verification of Threshold Automata
AU  - Paul Eichler
AU  - Tom Baumeister
AU  - Mouhammad Sakr
AU  - Mahboubeh Kalateh Dowlati
AU  - Marcus Völp
AU  - Swen Jacobs
PY  - 2026
UR  - https://arxiv.org/abs/2605.06118
ID  - 2605.06118
ER  -