1 paper
Evgenii Vinarskii, Jakub Ruszil, Adam Roman +1
The paper introduces final state identification (synchronizing and homing) sequences for Timed Finite State Machines (TFSMs) with output delays and investigates their properties. W…