Discounted Properties of Probabilistic Pushdown Automata

DOI10.1007/978-3-540-89439-1_17zbMath1182.68100OpenAlexW2099635546MaRDI QIDQ5505557

Jan Holeček, Václav Brožek, Tomáš Brázdil, Antonín 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)

Related Items (4)

Branching-time model-checking of probabilistic pushdown automata ⋮ Runtime Analysis of Probabilistic Programs with Unbounded Recursion ⋮ Analyzing probabilistic pushdown automata ⋮ Runtime analysis of probabilistic programs with unbounded recursion

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