Projects & Tools


Joachim Klein

Until 2019, I did research as a PhD student and postdoc at TU Dresden on topics such as omega-automata, compositional synthesis as well as probabilistic and non-probabilistic model checking.

Find me on GitHub, DBLP, Google Scholar.
Contact: joachim.klein AT

List of Publications

If you are interested in one of the publications and can't access it online, just drop me an email.