52 citations · 146 across the 41 of their papers we have counts for
4 papers · 1 filter
On the Size of Finite Rational Matrix Semigroups
Georgina Bumpus, Christoph Haase, Stefan Kiefer +2
Let be a positive integer and a set of rational -matrices such that generates a finite multiplicative semigroup. We show that any matrix i…
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
Stefan Kiefer, Cas Widdershoven
We introduce a novel technique to analyse unambiguous Büchi automata quantitatively, and apply this to the model checking problem. It is based on linear-algebra arguments that orig…
On Affine Reachability Problems
Stefan Jaax, Stefan Kiefer
We analyze affine reachability problems in dimensions 1 and 2. We show that the reachability problem for 1-register machines over the integers with affine updates is PSPACE-hard, h…
Büchi Objectives in Countable MDPs
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi +1
We study countably infinite Markov decision processes with Büchi objectives, which ask to visit a given subset of states infinitely often. A question left open by T.P. Hill in 1979…