30 citations · 111 across the 34 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 3 cited
A New Heuristic Synchronizing Algorithm
Jakub Kowalski, Marek Szykuła
We present a new heuristic algorithm finding reset words. The algorithm called CutOff-IBFS is based on a simple idea of inverse breadth-first-search in the power automaton. We perf…
cs.FL2013
The Černý conjecture for small automata: experimental report
Jakub Kowalski, Marek Szykuła
We present a report from a series of experiments involving computation of the shortest reset words for automata with small number of states. We confirm that the Černý conjecture is…