No. Title Author Year
1 Büchi Objectives in Countable MDPs Kiefer, Stefan et al. 2019
2 On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words Kiefer, Stefan et al. 2019
3 On the Complexity of Value Iteration Balaji, Nikhil et al. 2019
4 On Computing the Total Variation Distance of Hidden Markov Models Kiefer, Stefan 2018
5 Selective Monitoring Grigore, Radu et al. 2018
6 Counting Problems for Parikh Images Haase, Christoph et al. 2017
7 On Restricted Nonnegative Matrix Factorization Chistikov, Dmitry et al. 2016
8 Proving the Herman-Protocol Conjecture Bruna, Maria et al. 2016
9 Bisimilarity of Probabilistic Pushdown Automata Forejt, Vojtech et al. 2012
10 Stabilization of Branching Queueing Networks Brázdil, Tomáš et al. 2012
Current Page :
Number of result pages: 2
Number of documents: 13


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