Discounted Properties of Probabilistic Pushdown Automata

DOI10.1007/978-3-540-89439-1_17MaRDI QIDQ5505557zbMATH OpenOpenAlexFDO

Authors Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonin Kučera

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(6)

• Analyzing probabilistic pushdown automata
• Runtime analysis of probabilistic programs with unbounded recursion
• Branching-time model-checking of probabilistic pushdown automata
• Properties of probabilistic pushdown automata
• On the comparison of discounted-sum automata with multiple discount factors
• Runtime analysis of probabilistic programs with unbounded recursion

This page was built for publication: Discounted Properties of Probabilistic Pushdown Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505557)