Skip to main content

Rastislav Lenhardt

Interests

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.

Selected Publications

View AllManage publications

Activities

Supervisor