TY  - RPRT
TI  - Hyper-Minimization for Deterministic Register Automata
AU  - Yong Li
AU  - Qiyi Tang
AU  - Di-De Yen
PY  - 2026
UR  - https://arxiv.org/abs/2605.03535
ID  - 2605.03535
ER  -