Concepedia

Probabilistic Pushdown Automata

Probabilistic Pushdown Automata is a probabilistic extension of nondeterministic pushdown automata in which transitions are governed by probability distributions over input symbols, stack operations, and state changes, thereby modeling stochastic context-free language generation and recognition.

18

Publications

821

Citations

26

Authors

17

Institutions

Publications per year

2017–2026

0

Parents

Publications

18

Model checking probabilistic pushdown automata

Javier Esparza, Antonı́n Kučera, Richard Mayr · 2004 · 124 citations · Full text

, , +14

Finite state verifiers I

Cynthia Dwork, Larry Stockmeyer · Journal of the ACM · 1992 · 91 citations · Full text

, , +16

Reasoning about Recursive Probabilistic Programs

Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · 2016 · 86 citations

, , +14

Relating probabilistic grammars and automata

Steven Abney, David McAllester, Fernando Pereira · 1999 · 82 citations · Full text

, , +14

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

Javier Esparza, Antonı́n Kučera, Richard Mayr · 2006 · 68 citations

, , +17

1–5 of 18

Authors

26

  1. JE
    Javier Esparza

    Technical University of Munich, Germany

    6 publications · 365 citations

    6

    h-index

  2. AK
    Antonı́n Kučera

    Masaryk University, Czechia

    4 publications · 297 citations

    4

    h-index

  3. SK
    Stefan Kiefer

    University of Oxford, United Kingdom

    4 publications · 124 citations

    4

    h-index

  4. RM
    Richard Mayr

    University of Edinburgh, United Kingdom

    3 publications · 252 citations

    3

    h-index

  5. KE
    Kousha Etessami

    University of Edinburgh, United Kingdom

    3 publications · 83 citations

    3

    h-index

1–5 of 26

Institutions

17

  1. University of Stuttgart

    Stuttgart, Germany

    5 h-index

    8 publications

    482 citations

  2. Masaryk University

    Brno, Czechia

    4 h-index

    5 publications

    342 citations

  3. Columbia University

    New York, United States

    3 h-index

    3 publications

    83 citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    6 publications

    166 citations

  5. RWTH Aachen University

    Aachen, Germany

    2 h-index

    8 publications

    392 citations

  6. University of Oxford

    Oxford, United Kingdom

    2 h-index

    4 publications

    78 citations

  7. University of Freiburg

    Freiburg im Breisgau, Germany

    2 h-index

    2 publications

    184 citations

  8. North Carolina State University

    Raleigh, United States

    2 h-index

    2 publications

    100 citations

1–8 of 17

Venues

  1. Information and Computation

    2 publications · 29 citations

    2

    h-index

  2. Journal of the ACM

    JACM · 2 publications · 101 citations

    2

    h-index

  3. Formal Methods in System Design

    1 publications · 45 citations

    1

    h-index

  4. Performance Evaluation

    1 publications · 38 citations

    1

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 1 publications · 22 citations

    1

    h-index

1–5