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
11 Stabilization of Branching Queueing Networks Brázdil, Tomáš et al. 2012
12 Computing Least Fixed Points of Probabilistic Systems of Polynomials Esparza, Javier et al. 2010
13 On the Memory Consumption of Probabilistic Pushdown Automata Brazdil, Tomas et al. 2009
14 Convergence Thresholds of Newton's Method for Monotone Polynomial Equations Esparza, Javier et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 14


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