Stefan Kiefer

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 78

Top Venues

Publications

Stefan Kiefer, Qiyi Tang
Minimising the Probabilistic Bisimilarity Distance. CoRR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. CoRR (2024)
Stefan Kiefer, Qiyi Tang
Minimising the Probabilistic Bisimilarity Distance. CONCUR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of B\"uchi Objectives in Concurrent Stochastic Games. CoRR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. Taming the Infinities of Concurrency (2024)
Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136 (2023)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games. CoRR (2022)
Mika Göös, Stefan Kiefer, Weiqiang Yuan
Lower Bounds for Unambiguous Automata via Communication Complexity. ICALP (2022)
Emil Indzhev, Stefan Kiefer
On complementing unambiguous automata and graphs with many cliques and cocliques. Inf. Process. Lett. 177 (2022)
Mika Göös, Stefan Kiefer, Weiqiang Yuan
Lower Bounds for Unambiguous Automata via Communication Complexity. Electron. Colloquium Comput. Complex. 29 (2022)
Oscar Darwin, Stefan Kiefer
On the Sequential Probability Ratio Test in Hidden Markov Models. CONCUR (2022)
Oscar Darwin, Stefan Kiefer
On the Sequential Probability Ratio Test in Hidden Markov Models. CoRR (2022)
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
The Big-O Problem. Log. Methods Comput. Sci. 18 (1) (2022)
Stefan Kiefer, Qiyi Tang
Strategies for MDP Bisimilarity Equivalence and Inequivalence. CONCUR (2022)
Stefan Kiefer, Pavel Semukhin, Cas Widdershoven
Linear-Time Model Checking Branching Processes. CONCUR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. CoRR (2021)
Stefan Kiefer, Pavel Semukhin, Cas Widdershoven
Linear-Time Model Checking Branching Processes. CoRR (2021)
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
Enforcing ω-Regular Properties in Markov Chains by Restarting. CONCUR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. LICS (2021)
Emil Indzhev, Stefan Kiefer
On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques. CoRR (2021)
Stefan Kiefer, Qiyi Tang
Approximate Bisimulation Minimisation. FSTTCS (2021)
Stefan Kiefer, Corto Mascle
On Nonnegative Integer Matrices and Short Killing Words. SIAM J. Discret. Math. 35 (2) (2021)
Stefan Kiefer, Qiyi Tang
Approximate Bisimulation Minimisation. CoRR (2021)
Mika Göös, Stefan Kiefer
Lower Bounds on Unambiguous Automata Complementation and Separation via Communication Complexity. CoRR (2021)
Stefan Kiefer, Cas Widdershoven
Image-Binary Automata. DCFS (2021)
Stefan Kiefer, Cas Widdershoven
Image-Binary Automata. CoRR (2021)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Transience in Countable MDPs. CONCUR (2021)
Radu Grigore, Stefan Kiefer
Selective monitoring. J. Comput. Syst. Sci. 117 (2021)
Stefan Kiefer, Qiyi Tang
Comparing Labelled Markov Decision Processes. CoRR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Parity Objectives in Countable MDPs. CoRR (2020)
Georgina Bumpus, Christoph Haase, Stefan Kiefer, Paul-Ioan Stoienescu, Jonathan Tanner
On the Size of Finite Rational Matrix Semigroups. ICALP (2020)
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Trace Refinement in Labelled Markov Decision Processes. Log. Methods Comput. Sci. 16 (2) (2020)
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
Online Monitoring ω-Regular Properties in Unknown Markov Chains. CoRR (2020)
Stefan Kiefer
Notes on Equivalence and Minimization of Weighted Automata. CoRR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak
How to Play in Infinite MDPs (Invited Talk). ICALP (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Transience in Countable MDPs. CoRR (2020)
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
The Big-O Problem for Labelled Markov Chains and Weighted Automata. CoRR (2020)
Oscar Darwin, Stefan Kiefer
Equivalence of Hidden Markov Models with Continuous Observations. CoRR (2020)
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
The Big-O Problem for Labelled Markov Chains and Weighted Automata. CONCUR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Parity Objectives in Countable MDPs. CONCUR (2020)
Stefan Jaax, Stefan Kiefer
On Affine Reachability Problems. MFCS (2020)
Oscar Darwin, Stefan Kiefer
Equivalence of Hidden Markov Models with Continuous Observations. FSTTCS (2020)
Stefan Kiefer, Qiyi Tang
Comparing Labelled Markov Decision Processes. FSTTCS (2020)
Stefan Jaax, Stefan Kiefer
On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices. CoRR (2019)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Büchi Objectives in Countable MDPs. CoRR (2019)
Stefan Kiefer, Corto Mascle
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. STACS (2019)
Stefan Kiefer, Cas Widdershoven
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. CoRR (2019)
Georgina Bumpus, Christoph Haase, Stefan Kiefer, Paul-Ioan Stoienescu, Jonathan Tanner
On the Size of Finite Rational Matrix Semigroups. CoRR (2019)
Stefan Kiefer, Cas Widdershoven
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. MFCS (2019)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Büchi Objectives in Countable MDPs. ICALP (2019)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Value Iteration. ICALP (2019)
Stefan Kiefer, Corto Mascle
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. CoRR (2018)
Stefan Kiefer
On Computing the Total Variation Distance of Hidden Markov Models. ICALP (2018)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes. CoRR (2018)
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. Log. Methods Comput. Sci. 14 (4) (2018)
Radu Grigore, Stefan Kiefer
Selective Monitoring. CONCUR (2018)
Stefan Kiefer
On Computing the Total Variation Distance of Hidden Markov Models. CoRR (2018)
Radu Grigore, Stefan Kiefer
Selective Monitoring. CoRR (2018)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
On Rationality of Nonnegative Matrix Factorization. SODA (2017)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
Nonnegative Matrix Factorization Requires Irrationality. SIAM J. Appl. Algebra Geom. 1 (1) (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Parity Objectives in Countable MDPs. CoRR (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Parity objectives in countable MDPs. LICS (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
On strong determinacy of countable stochastic games. LICS (2017)
Christoph Haase, Stefan Kiefer, Markus Lohrey
Computing quantiles in Markov chains with multi-dimensional costs. LICS (2017)
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. CoRR (2017)
Christoph Haase, Stefan Kiefer, Markus Lohrey
Counting Problems for Parikh Images. MFCS (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
On Strong Determinacy of Countable Stochastic Games. CoRR (2017)
Stefan Kiefer, Ines Marusic, James Worrell
Minimisation of Multiplicity Tree Automata. Log. Methods Comput. Sci. 13 (1) (2017)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
On Restricted Nonnegative Matrix Factorization. ICALP (2016)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CAV (1) (2016)
Stefan Kiefer, A. Prasad Sistla
Distinguishing Hidden Markov Chains. LICS (2016)
Christoph Haase, Stefan Kiefer, Markus Lohrey
Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh Images. CoRR (2016)
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
Proving the Herman-Protocol Conjecture. ICALP (2016)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CoRR (2016)
Christoph Haase, Stefan Kiefer
The complexity of the Kth largest subset problem and related problems. Inf. Process. Lett. 116 (2) (2016)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
On Restricted Nonnegative Matrix Factorization. CoRR (2016)
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Trace Refinement in Labelled Markov Decision Processes. FoSSaCS (2016)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
Nonnegative Matrix Factorization Requires Irrationality. CoRR (2016)
Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell
Proving the Herman-Protocol Conjecture. CoRR (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. CoRR (2015)
Stefan Kiefer, A. Prasad Sistla
Distinguishing Hidden Markov Chains. CoRR (2015)
Stefan Kiefer, Ines Marusic, James Worrell
Minimisation of Multiplicity Tree Automata. FoSSaCS (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková
Runtime analysis of probabilistic programs with unbounded recursion. J. Comput. Syst. Sci. 81 (1) (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. LICS (2015)
Radu Grigore, Stefan Kiefer
Tree Buffers. CAV (1) (2015)
Christoph Haase, Stefan Kiefer
The Odds of Staying on Budget. ICALP (2) (2015)
Radu Grigore, Stefan Kiefer
Tree Buffers. CoRR (2015)
Christoph Haase, Stefan Kiefer
The Complexity of the Kth Largest Subset Problem and Related Problems. CoRR (2015)
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Trace Refinement in Labelled Markov Decision Processes. CoRR (2015)
Taolue Chen, Stefan Kiefer
On the total variation distance of labelled Markov chains. CSL-LICS (2014)
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
Analysis of Probabilistic Basic Parallel Processes. FoSSaCS (2014)
Stefan Kiefer, Björn Wachter
Stability and Complexity of Minimising Probabilistic Automata. ICALP (2) (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. J. ACM 61 (6) (2014)
Stefan Kiefer, Björn Wachter
Stability and Complexity of Minimising Probabilistic Automata. CoRR (2014)
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
Analysis of Probabilistic Basic Parallel Processes. CoRR (2014)
Christoph Haase, Stefan Kiefer
The Odds of Staying on Budget. CoRR (2014)
Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell
Language equivalence of probabilistic pushdown automata. Inf. Comput. 237 (2014)
Taolue Chen, Stefan Kiefer
On the Total Variation Distance of Labelled Markov Chains. CoRR (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata. CSL-LICS (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR (2014)

Stefan Kiefer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Kiefer