On this page, I give an overview of externally funded projects that I participated in as a (co)-PI.
In this project, we aim to combine symbolic probabilistic model checking methods with inductive synthesis to quickly analyze many different models. The novel methods in this project shall boost the PAYNT tool.
In this project, we investigate runtime monitoring under uncertainty. Technically, we consider a white-box setting where we are given a Markov model of the system and aim to extract all sequences of events that should be classified as dangerous.
In this project, we aim to improve the usability of our open source model checker Storm.