TY  - RPRT
TI  - Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)
AU  - Lukáš Holík
AU  - Ondřej Lengál
AU  - Olli Saarikivi
AU  - Lenka Turoňová
AU  - Margus Veanes
AU  - Tomáš Vojnar
PY  - 2019
UR  - https://arxiv.org/abs/1910.01996
ID  - 1910.01996
ER  -