My main interests are algorithms and complexity of Probabilistic Verification (with properties mostly specified as fragments of LTL or FO). In general I am also interested in using randomization in designing algorithms and in combinatorial game theory.
Probabilistic Automata with Parameters
Master's Thesis 2009.
Composite Mathematical Games