@Article{         BaierKieferKleinKluppelholzMullerWorrell,
  Author        = {Baier, Christel and Kiefer, Stefan and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"u}ller, David and Worrell, James},
  Abstract      = {Unambiguous automata, i.e., nondeterministic automata with the restriction of having at most one accepting run over a word, have the potential to be used instead of deterministic automata in settings where nondeterministic automata can not be applied in general. In this paper, we provide a polynomially time-bounded algorithm for probabilistic model checking of discrete-time Markov chains against unambiguous B\"uchi automata specifications and report on our implementation and experiments.},
  date-added    = "2016-11-21 11:31:21 +0000",
  date-modified = "2018-10-01 13:59:56 +0000",
  EPrint        = "1605.00950",
  Keywords      = "readme",
  Month         = "05",
  Title         = {Markov Chains and Unambiguous B{\"u}chi Automata},
  URL           = "https://arxiv.org/abs/1605.00950",
  Year          = "2016",
  bdsk-url-1    = "https://arxiv.org/abs/1605.00950",
  File          = "markov-UBA-short-1605.00950 (0) (0) - a - a - g.pdf",
  file-2        = "markov-UBA-1605.00950 (0) - a - a - g.pdf"
}

@Article{ BaierKieferKleinKluppelholzMullerWorrell, Author = {Baier, Christel and Kiefer, Stefan and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"u}ller, David and Worrell, James}, Abstract = {Unambiguous automata, i.e., nondeterministic automata with the restriction of having at most one accepting run over a word, have the potential to be used instead of deterministic automata in settings where nondeterministic automata can not be applied in general. In this paper, we provide a polynomially time-bounded algorithm for probabilistic model checking of discrete-time Markov chains against unambiguous B\"uchi automata specifications and report on our implementation and experiments.}, date-added = "2016-11-21 11:31:21 +0000", date-modified = "2018-10-01 13:59:56 +0000", EPrint = "1605.00950", Keywords = "readme", Month = "05", Title = {Markov Chains and Unambiguous B{\"u}chi Automata}, URL = "https://arxiv.org/abs/1605.00950", Year = "2016", bdsk-url-1 = "https://arxiv.org/abs/1605.00950", File = "markov-UBA-short-1605.00950 (0) (0) - a - a - g.pdf", file-2 = "markov-UBA-1605.00950 (0) - a - a - g.pdf" }