TY  - RPRT
TI  - Studying homing and synchronizing sequences for Timed Finite State Machines with output delays
AU  - Evgenii Vinarskii
AU  - Jakub Ruszil
AU  - Adam Roman
AU  - Natalia Kushik
PY  - 2025
UR  - https://arxiv.org/abs/2507.14526
ID  - 2507.14526
ER  -