@Article{         Nicaud,
  Author        = "Nicaud, Cyril",
  Abstract      = "A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then it has a synchronizing word of size at most (n-1)^2. Berlinkov recently made a breakthrough in the probabilistic analysis of synchronization by proving that with high probability, an automaton has a synchronizing word. In this article, we prove that with high probability an automaton admits a synchronizing word of length smaller than n^(1+\epsilon), and therefore that the Cerny conjecture holds with high probability.",
  date-added    = "2015-06-04 06:50:29 +0000",
  date-modified = "2015-06-04 06:50:29 +0000",
  EPrint        = "1404.6962",
  Month         = "04",
  Title         = "Fast Synchronization of Random Automata",
  URL           = "http://arxiv.org/abs/1404.6962",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1404.6962",
  File          = "Fast Synchronization of Random Automata - Nicaud (0) (0) - a - a - g.pdf"
}

@Article{ Nicaud, Author = "Nicaud, Cyril", Abstract = "A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then it has a synchronizing word of size at most (n-1)^2. Berlinkov recently made a breakthrough in the probabilistic analysis of synchronization by proving that with high probability, an automaton has a synchronizing word. In this article, we prove that with high probability an automaton admits a synchronizing word of length smaller than n^(1+\epsilon), and therefore that the Cerny conjecture holds with high probability.", date-added = "2015-06-04 06:50:29 +0000", date-modified = "2015-06-04 06:50:29 +0000", EPrint = "1404.6962", Month = "04", Title = "Fast Synchronization of Random Automata", URL = "http://arxiv.org/abs/1404.6962", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1404.6962", File = "Fast Synchronization of Random Automata - Nicaud (0) (0) - a - a - g.pdf" }