J 2013

Analyzing probabilistic pushdown automata

BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER and Antonín KUČERA

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

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

Impact factor

Impact factor: 0.404

RIV identification code

RIV/00216224:14330/13:00065960

Organization unit

Faculty of Informatics

DOI

UT WoS

000324114600002

Keywords (in Czech)

zásobníkové automaty; Markovovské řetězce

Keywords in English

pushdown automata; Markov chains

Tags

Tags

International impact, Reviewed
Změněno: 24/11/2013 19:09, prof. RNDr. Antonín Kučera, Ph.D.

Abstract

ORIG CZ

V originále

The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.

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 project
Name: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)
Investor: Czech Science Foundation

Files attached

main.pdf
Find similar documents