Search Results - Stefan Kiefer

Refine Results
  1. 61
    Image-Binary Automata

    Image-Binary Automata by Kiefer, Stefan, Widdershoven, Cas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 62
    On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques

    On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques by Indzhev, Emil, Kiefer, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 63
    Nucleotide sequence of the Schizosaccharomyces japonicus var. versatilis ribosomal RNA gene cluster and its phylogenetic implications

    Nucleotide sequence of the Schizosaccharomyces japonicus var. versatilis ribosomal RNA gene cluster and its phylogenetic implications by Naehring, J, Kiefer, S, Wolf, K

    Published in Current genetics
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 64
    On Computing the Total Variation Distance of Hidden Markov Models

    On Computing the Total Variation Distance of Hidden Markov Models by Kiefer, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 65
    The Big-O Problem

    The Big-O Problem by Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S, Purser, David

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 66
    Three tokens in Herman’s algorithm

    Three tokens in Herman’s algorithm by Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joël, Wachter, Björn, Worrell, James

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 67
    Trace Refinement in Labelled Markov Decision Processes

    Trace Refinement in Labelled Markov Decision Processes by Fijalkow, Nathanaël, Kiefer, Stefan, Shirmohammadi, Mahsa

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 68
    On Affine Reachability Problems

    On Affine Reachability Problems by Jaax, Stefan, Kiefer, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 69
    On Nonnegative Integer Matrices and Short Killing Words

    On Nonnegative Integer Matrices and Short Killing Words by Kiefer, Stefan, Mascle, Corto

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 70
    Comparing Labelled Markov Decision Processes

    Comparing Labelled Markov Decision Processes by Kiefer, Stefan, Tang, Qiyi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 71
    Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems1

    Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems1 by Esparza, Javier, Kiefer, Stefan, Schwoon, Stefan

    Get full text
    Article
    Save to List
    Saved in:
  12. 72
    Strategy Complexity of Reachability in Countable Stochastic 2-Player Games

    Strategy Complexity of Reachability in Countable Stochastic 2-Player Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 73
    Strategy Complexity of Büchi Objectives in Concurrent Stochastic Games

    Strategy Complexity of Büchi Objectives in Concurrent Stochastic Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 74
    Memoryless Strategies in Stochastic Reachability Games

    Memoryless Strategies in Stochastic Reachability Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 75
    Lower Bounds for Unambiguous Automata via Communication Complexity

    Lower Bounds for Unambiguous Automata via Communication Complexity by Göös, Mika, Kiefer, Stefan, Yuan, Weiqiang

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 76
    Linear-Time Model Checking Branching Processes

    Linear-Time Model Checking Branching Processes by Kiefer, Stefan, Semukhin, Pavel, Widdershoven, Cas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 77
    Minimisation of Multiplicity Tree Automata

    Minimisation of Multiplicity Tree Automata by Kiefer, Stefan, Marusic, Ines, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 78
    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata by ejt, Vojtěch, Jančar, Petr, Kiefer, Stefan, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 79
    On the Size of Finite Rational Matrix Semigroups

    On the Size of Finite Rational Matrix Semigroups by Bumpus, Georgina, Haase, Christoph, Kiefer, Stefan, Paul-Ioan Stoienescu, Tanner, Jonathan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 80
    BPA Bisimilarity is EXPTIME-hard

    BPA Bisimilarity is EXPTIME-hard by Kiefer, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: