TY  - RPRT
TI  - Certificates for short extending words in a finite automaton
AU  - Michele Miccinesi
PY  - 2026
UR  - https://arxiv.org/abs/2609.21603
ID  - 2609.21603
ER  -