Minimum Length Synchronizing Sequences of Finite State Machine.

June-Kyung Rho, Fabio Somenzi, Carl Pixley

Browse the full DAC paper archive.