Discounted Properties of Probabilistic Pushdown Automata

被引：6
|
作者：
Brazdil, Tomas [1 ]
Brozek, Vaclav [1 ]
Holecek, Jan [1 ]
Kucera, Antonin [1 ]
机构：
[1] Masaryk Univ, Fac Informat, Brno 60200, Czech Republic
来源：
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS | 2008年 / 5330卷
关键词：
D O I：
10.1007/978-3-540-89439-1_17
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We show that several basic discounted properties of probabilistic pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision.
引用
收藏
页码：230 / 242
页数：13
相关论文
共 50 条
  • [1] Properties of probabilistic pushdown automata
    Macarie, II
    Ogihara, M
    THEORETICAL COMPUTER SCIENCE, 1998, 207 (01) : 117 - 130
  • [2] On probabilistic pushdown automata
    Hromkovic, Juraj
    Schnitger, Georg
    INFORMATION AND COMPUTATION, 2010, 208 (08) : 982 - 995
  • [3] On the decidability of temporal properties of probabilistic pushdown automata
    Brázdil, T
    Kucera, A
    Strazovsky, O
    STACS 2005, PROCEEDINGS, 2005, 3404 : 145 - 157
  • [4] Analyzing probabilistic pushdown automata
    Tomáš Brázdil
    Javier Esparza
    Stefan Kiefer
    Antonín Kučera
    Formal Methods in System Design, 2013, 43 : 124 - 163
  • [5] Analyzing probabilistic pushdown automata
    Brazdil, Tomas
    Esparza, Javier
    Kiefer, Stefan
    Kucera, Antonin
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 124 - 163
  • [6] Model checking probabilistic pushdown automata
    Esparza, J
    Kucera, A
    Mayr, R
    19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 12 - 21
  • [7] Language equivalence of probabilistic pushdown automata
    Forejt, Vojtech
    Jancar, Petr
    Kiefer, Stefan
    Worrell, James
    INFORMATION AND COMPUTATION, 2014, 237 : 1 - 11
  • [8] MODEL CHECKING PROBABILISTIC PUSHDOWN AUTOMATA
    Esparza, Javier
    Kucera, Antonin
    Mayr, Richard
    LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (01)
  • [9] Methods for Quantitative Analysis of Probabilistic Pushdown Automata
    Kucera, Antonin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 149 (01) : 3 - 15
  • [10] Derandomization of Probabilistic Auxiliary Pushdown Automata Classes
    Venkateswaran, H.
    CCC 2006: TWENTY-FIRST ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2006, : 355 - 369
12345