About Me

Hello! Since December 2017, I’m a Doctoral candidate advised by Prof. Jan Křetínský in the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich.

My current work revolves around formal methods and verification, specifically statistical unbounded verification. Read more about my research activities on dblp or google scholar.

Publications

  1. Kelmendi, E., Krämer, J., Kretinsky, J., & Weininger, M. (2018). Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CAV 2018. (pre-print).

  2. Křetínský, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. TACAS 2017. (pre-print).

  3. Zolg, D. P., Wilhelm, M., Schnatbaum, K., Zerweck, J., Knaute, T., Delanghe, B., …, Weininger, M. & Yu, P. (2017). Building ProteomeTools based on a complete synthetic human proteome. Nature methods 14.3 (2017): 259.

Talks

  1. BRTDP for Stochastic Games @ LiVe19, April 2019
  2. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm @ CAV 18, June 2018
  3. Heuristics for Solving Stochastic Games: Stopping Criterion and Learning Algorithm @ TUM-I7 Workshop in Altmühltal, March 2018

Community Service