Informace o publikaci
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
| Název česky | Metody pro kvantitativní analýzu pravděpodobnostních zásobníkových automatů |
|---|---|
| Autoři | |
| Rok publikování | 2006 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Electronic Notes in Theoretical Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | Infinite Markov Chains; Probabilistic Pushdown Automata |
| Popis | V článku je prezentován krátký přehled výsledků o problémech z oblasti kvalitativní a kvantitativní analýzy pravděpodobnostních zásobníkových automatů. |
| Související projekty: |