KUČERA, Antonín. Methods for Quantitative Analysis of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2006, vol. 149, No 1, p. 3-15. ISSN 1571-0661.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Methods for Quantitative Analysis of Probabilistic Pushdown Automata
Name in Czech Metody pro kvantitativní analýzu pravděpodobnostních zásobníkových automatů
Authors KUČERA, Antonín (203 Czech Republic, guarantor).
Edition Electronic Notes in Theoretical Computer Science, Elsevier, 2006, 1571-0661.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/06:00016575
Organization unit Faculty of Informatics
Keywords in English Infinite Markov Chains; Probabilistic Pushdown Automata
Tags Infinite Markov Chains, Probabilistic Pushdown Automata
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:26.
Abstract
We present a short overview of results about the problems of qualitative/quantitative analysis of probabilistic pushdown automata.
Abstract (in Czech)
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ů.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 30/4/2024 16:39