Rastislav Lenhardt
|
Rastislav Lenhardt
Doctoral Student
rastislav.lenhardt@cs.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD |
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.
Links
Selected Publications
| Probabilistic Automata with Parameters Rastislav Lenhardt Master's Thesis 2009. |
| Composite Mathematical Games Rastislav Lenhardt 2007. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity |
|
Supervisor |
|
