Stefan Kiefer

1. Markov Chains and Unambiguous Automata
   2016/05/03 by Christel Baier, Baier, Christel, Stefan Kiefer +7 · 2 citations
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Network Packet Processing and Optimization
2. Notes on Equivalence and Minimization of Weighted Automata
   2020/09/02 by Stefan Kiefer, Kiefer, Stefan · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #Machine Learning and Algorithms #semigroups and automata theory
3. Efficient Analysis of Unambiguous Automata Using Matrix Semigroup\n Techniques
   2019/06/24 by Stefan Kiefer, Cas Widdershoven, Kiefer, Stefan +1 · 1 citation
   Computer Science · #Formal Methods in Verification #semigroups and automata theory #Machine Learning and Algorithms