Joachim Klein
- Markov Chains and Unambiguous Automata
2016/05/03 by Christel Baier, Stefan Kiefer, Baier, Christel +7 · 4 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Network Packet Processing and Optimization
- Maximizing the Conditional Expected Reward for Reaching the Goal
2017/01/19 by Christel Baier, Joachim Klein, Baier, Christel +5 · 2 citations
Computer Science · #D.2.4 #Discrete Mathematics (cs.DM) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #G.3 #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling