TY  - RPRT
TI  - Algorithms and fine-grained complexity for nondeterministic and symmetric difference automata
AU  - Dmitry Chistikov
AU  - Radosław Piórkowski
AU  - Neha Rino
AU  - Brink van der Merwe
PY  - 2026
UR  - https://arxiv.org/abs/2607.00742
ID  - 2607.00742
ER  -