Discounted Properties of Probabilistic Pushdown Automata
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00026776" target="_blank" >RIV/00216224:14330/08:00026776 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Discounted Properties of Probabilistic Pushdown Automata
Original language description
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.
Czech name
Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
Czech description
V článku je dokázáno, že řadu diskontovaných vlastností pravděpodobnostních zásobníkových automatů definovaných pro ukončené i neukončené běhy lze efektivně aproximovat na libovolnou předem danou přesnost.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008
ISBN
978-3-540-89438-4
ISSN
—
e-ISSN
—
Number of pages
13
Pages from-to
—
Publisher name
Springer
Place of publication
Berlin Heidelberg New York
Event location
Doha, Qatar
Event date
Nov 22, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000262502600017