Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey & Mahsa Shirmohammadi (2013):
Synchronizing Words for Timed and Weighted Automata.
Research Report LSV-13-15.
Laboratoire Spécification et Vérification, ENS Cachan, France.
Available at http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/ rr-lsv-2013-15.pdf.
26 pages.
Laurent Doyen, Thierry Massart & Mahsa Shirmohammadi (2011):
Infinite Synchronizing Words for Probabilistic Automata.
In: Filip Murlak & Piotr Sankowski: Mathematical Foundations of Computer Science 2011,
Lecture Notes in Computer Science 6907.
Springer Berlin Heidelberg,
pp. 278–289,
doi:10.1007/978-3-642-22993-0_27.
Zsolt Gazdag, Szabolcs Iván & Judit Nagy-György (2009):
Improved Upper Bounds on Synchronizing Nondeterministic Automata.
Inf. Process. Lett. 109(17),
pp. 986–990,
doi:10.1016/j.ipl.2009.05.007.
Vesa Halava (1997):
Decidable and Undecidable Problems in Matrix Theory.
Vesa Halava & Tero Harju (2001):
Mortality in Matrix Semigroups.
AMER. MATH. MONTHLY 2001,
pp. 653.
Vesa Halava & Mika Hirvensalo (2007):
Improved matrix pair undecidability results.
Acta Informatica 44(3-4),
pp. 191–205,
doi:10.1007/s00236-007-0047-y.
Vesa Halava, Mika Hirvensalo & Ronald de Wolf (2001):
Marked {PCP} is decidable.
Theoretical Computer Science 255(1–2),
pp. 193 – 204,
doi:10.1016/S0304-3975(99)00163-2.
D.J. Kfoury (1970):
Synchronizing Sequences for Probabilistic Automata.
Stud. Appl. Math. 49,
pp. 101–103.
P. V. Martyugin (2010):
A lower bound for the length of the shortest carefully synchronizing words.
Russian Mathematics 54,
pp. 46–54,
doi:10.3103/S1066369X10010056.
P.V. Martyugin (2010):
Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA.
In: Farid Ablayev & ErnstW. Mayr: Computer Science – Theory and Applications,
Lecture Notes in Computer Science 6072.
Springer Berlin Heidelberg,
pp. 288–302,
doi:10.1007/978-3-642-13182-0_27.
Christos H. Papadimitriou (1994):
Computational complexity..
Addison-Wesley.
M. Paterson (1970):
Unsolvability in 33 matrices.
Studies in Applied Mathematics 49,
pp. 105–107.
Igor Potapov (2004):
From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata.
In: Developments in Language Theory, LNCS 3340,
pp. 345–356,
doi:10.1007/978-3-540-30550-7_29.
Mikhail V. Volkov (2008):
Language and Automata Theory and Applications, chapter Synchronizing Automata and the Černý Conjecture.
Springer-Verlag,
Berlin, Heidelberg,
pp. 11–27,
doi:10.1007/978-3-540-88282-4_4.