No. |
Title |
Author |
Year |
---|

1 |
Büchi Objectives in Countable MDPs |
Kiefer, Stefan et al. |
2019 |

2 |
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques |
Kiefer, Stefan et al. |
2019 |

3 |
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words |
Kiefer, Stefan et al. |
2019 |

4 |
On the Complexity of Value Iteration |
Balaji, Nikhil et al. |
2019 |

5 |
On Computing the Total Variation Distance of Hidden Markov Models |
Kiefer, Stefan |
2018 |

6 |
Selective Monitoring |
Grigore, Radu et al. |
2018 |

7 |
Counting Problems for Parikh Images |
Haase, Christoph et al. |
2017 |

8 |
On Restricted Nonnegative Matrix Factorization |
Chistikov, Dmitry et al. |
2016 |

9 |
Proving the Herman-Protocol Conjecture |
Bruna, Maria et al. |
2016 |

10 |
Bisimilarity of Probabilistic Pushdown Automata |
Forejt, Vojtech et al. |
2012 |