Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jcss/BaierK00023,
  author       = {Christel Baier and
                  Stefan Kiefer and
                  Joachim Klein and
                  David M{\"{u}}ller and
                  James Worrell},
  title        = {Markov chains and unambiguous automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {136},
  pages        = {113--134},
  year         = {2023}
}

@inproceedings{DBLP:conf/cav/BaierK0K0W16,
  author       = {Christel Baier and
                  Stefan Kiefer and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  David M{\"{u}}ller and
                  James Worrell},
  title        = {Markov Chains and Unambiguous B{\"{u}}chi Automata},
  booktitle    = {{CAV} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2016}
}

@article{DBLP:journals/corr/BaierK0K0W16,
  author       = {Christel Baier and
                  Stefan Kiefer and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  David M{\"{u}}ller and
                  James Worrell},
  title        = {Markov Chains and Unambiguous B{\"{u}}chi Automata},
  journal      = {CoRR},
  volume       = {abs/1605.00950},
  year         = {2016}
}

@article{DBLP:journals/corr/BenediktLW14,
  author       = {Michael Benedikt and
                  Rastislav Lenhardt and
                  James Worrell},
  title        = {Model Checking Markov Chains Against Unambiguous Buchi Automata},
  journal      = {CoRR},
  volume       = {abs/1405.4560},
  year         = {2014}
}