Succinct Determinisation of Counting Automata via Sphere Construction.

Luks Holk, Ondrej Lengl, Olli Saarikivi, Lenka Turonov, Margus Veanes, Toms Vojnar

Browse the full APLAS paper archive.