Effective Analysis of Infinite State Stochastic Processes and Games

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F10%3A00043952" target="_blank" >RIV/00216224:14330/10:00043952 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Effective Analysis of Infinite State Stochastic Processes and Games

Popis výsledku v původním jazyce

We consider the classes of Markov chains, Markov decision processes, and stochastic games definable by pushdown automata with probabilistic and non-deterministic choice. We give an overview of the existing results and present selected concepts and techniques that have been used to establish these results.

Název v anglickém jazyce

Effective Analysis of Infinite State Stochastic Processes and Games

Popis výsledku anglicky

We consider the classes of Markov chains, Markov decision processes, and stochastic games definable by pushdown automata with probabilistic and non-deterministic choice. We give an overview of the existing results and present selected concepts and techniques that have been used to establish these results.

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Logics and Languages for Reliability and Security

ISBN

978-1-60750-099-5

Počet stran výsledku

25

Strana od-do

—

Počet stran knihy

325

Název nakladatele

IOS Press

Místo vydání

Amsterdam, The Netherlands

Kód UT WoS kapitoly

—