Methods for Quantitative Analysis of Probabilistic Pushdown Automata
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 project | Name: Institut Teoretické Informatiky |
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science |
PrintDisplayed: 12/10/2024 20:38