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
Current Page :
Number of result pages: 2
Number of documents: 14


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI