Skip to main content

Rastislav Lenhardt

Personal photo - Rastislav Lenhardt

Rastislav Lenhardt

Doctoral Student

Leaving date: 13th December 2013


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