Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Joachim Klein  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
K
J. Klein, D. Müller, C. Baier, and S. Klüppelholz, “Are Good-for-Games Automata Good for Probabilistic Model Checking?”, in Proc. of the 8th International Conference on Language and Automata Theory and Applications (LATA), 2014.
J. Klein, C. Baier, and S. Klüppelholz, “Compositional Construction of Most General Controllers”, Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, vol. 52, p. 443–482, 2015.