Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Czech Republic |
|---|---|
| City | Brno |
| Institution | Masaryk University |
| Institute | Institute for Theoretical Computer Science |
Profile
| Research fields | Theoretical Computer Science |
|---|---|
| Keywords | Markov chain, verification, probabilistic pushdown automaton |