TY  - RPRT
TI  - On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
AU  - Lukáš Holík
AU  - Ondřej Lengál
AU  - Juraj Major
AU  - Adéla Štěpková
AU  - Jan Strejček
PY  - 2025
UR  - https://arxiv.org/abs/2507.03439
ID  - 2507.03439
ER  -