52 citations · 146 across the 41 of their papers we have counts for
4 papers · 1 filter
On Nonnegative Integer Matrices and Short Killing Words
Stefan Kiefer, Corto Mascle
Let be a natural number and a set of -matrices over the nonnegative integers such that the joint spectral radius of is at most one. We s…
Selective Monitoring
Radu Grigore, Stefan Kiefer
We study selective monitors for labelled Markov chains. Monitors observe the outputs that are generated by a Markov chain during its run, with the goal of identifying runs as corre…
On the Complexity of Value Iteration
Nikhil Balaji, Stefan Kiefer, Petr Novotný +2
Value iteration is a fundamental algorithm for solving Markov Decision Processes (MDPs). It computes the maximal -step payoff by iterating times a recurrence equation which…
On Computing the Total Variation Distance of Hidden Markov Models
Stefan Kiefer
We prove results on the decidability and complexity of computing the total variation distance (equivalently, the -distance) of hidden Markov models (equivalently, labelled Mar…