Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Tschechische Republik |
|---|---|
| Ort | Brno |
| Universität/Institution | Masaryk University |
| Institut/Abteilung | Institute for Theoretical Computer Science |
Profil
| Fachgebiet | Theoretische Informatik |
|---|---|
| Keywords | Markov chain, verification, probabilistic pushdown automaton |