1 paper · 1 filter
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…