Parameterized complexity of synchronization and road coloring - Vojtěch Vorel; Adam Roman (Discrete Mathematics & Theoretical Computer Science, 2015)
Automata, Logic and Semantics