BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER and Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, vol. 43, No 2, p. 124-163. ISSN 0925-9856. doi:10.1007/s10703-012-0166-0.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Analyzing probabilistic pushdown automata
Authors BRÁZDIL, Tomáš (203 Czech Republic, belonging to the institution), Javier ESPARZA (724 Spain), Stefan KIEFER (276 Germany) and Antonín KUČERA (203 Czech Republic, guarantor, belonging to the institution).
Edition Formal Methods in System Design, Springer Netherlands, 2013, 0925-9856.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
Impact factor Impact factor: 0.404
RIV identification code RIV/00216224:14330/13:00065960
Organization unit Faculty of Informatics
Doi http://dx.doi.org/10.1007/s10703-012-0166-0
UT WoS 000324114600002
Keywords (in Czech) zásobníkové automaty; Markovovské řetězce
Keywords in English pushdown automata; Markov chains
Tags formela-journal
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 24/11/2013 19:09.
Abstract
The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.
Abstract (in Czech)
V článku je podán přehled známých výsledků o pravděpodobnostních zásobníkových automatech a některých jejich podtřídách.
Links
GBP202/12/G061, research and development projectName: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)
Investor: Czech Science Foundation
Type Name Uploaded/Created by Uploaded/Created Rights
FMSD.pdf Preprint (accepted version of the paper).   File version Kučera, A. 10/9/2013

Properties

Name
FMSD.pdf
Description
Preprint (accepted version of the paper).
Address within IS
https://is.muni.cz/auth/publication/1076453/main.pdf
Address for the users outside IS
https://is.muni.cz/publication/1076453/main.pdf
Address within Manager
https://is.muni.cz/auth/publication/1076453/main.pdf?info
Address within Manager for the users outside IS
https://is.muni.cz/publication/1076453/main.pdf?info
Uploaded/Created
Tue 10/9/2013 13:08, prof. RNDr. Antonín Kučera, Ph.D.

Rights

Right to read
  • anyone on the Internet
Right to upload
 
Right to administer:
  • a concrete person prof. RNDr. Antonín Kučera, Ph.D., učo 2508
  • a concrete person doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074
Attributes
 

main.pdf

Application
Open the file
Download file.
Address within IS
https://is.muni.cz/auth/publication/1076453/main.pdf
Address for the users outside IS
http://is.muni.cz/publication/1076453/main.pdf
File type
PDF (application/pdf)
Size
336,1 KB
Hash md5
f800d59574c78c823727e60fde9c7921
Uploaded/Created
Tue 10/9/2013 13:08

main.txt

Application
Open the file
Download file.
Address within IS
https://is.muni.cz/auth/publication/1076453/main.txt
Address for the users outside IS
http://is.muni.cz/publication/1076453/main.txt
File type
plain text (text/plain)
Size
118,7 KB
Hash md5
1b83691120885c888a229255d72159c8
Uploaded/Created
Tue 10/9/2013 13:12
Print
Report a file uploaded without authorization. Displayed: 1/12/2022 07:33