Lenka Holíková

Other Results

• 2019

  Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report), report, 2019
  Authors: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M.