@misc{indiciae1f6b21c61d28,
  title = {Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)},
  author = {Lukáš Holík and Ondřej Lengál and Olli Saarikivi and Lenka Turoňová and Margus Veanes and Tomáš Vojnar},
  year = {2019},
  url = {https://arxiv.org/abs/1910.01996},
  note = {Source identifier: 1910.01996}
}